Mikan: a proof assistant for cubical type theory (forked from Agda)(mathstodon.xyz)
mathstodon.xyz
Mikan: a proof assistant for cubical type theory (forked from Agda)
https://mathstodon.xyz/@jonmsterling/116522692709243649
0 comments
—
https://mathstodon.xyz/@jonmsterling/116522692709243649
—