makkai/LICENSE, branch main
Type theory implementation
https://git.l-3.space/makkai/atom/LICENSE?h=main
2026-04-27T08:25:35Z
add license
2026-04-27T08:25:35Z
tslil
tslil@posteo.de
2026-04-27T08:21:20Z
urn:sha1:72d90e8649d43c8dbc5fc27322e84f0e96998c90