Mikan: a proof assistant for cubical type theory (forked from Agda)

(mathstodon.xyz)

2 points | by baruchel 6 hours ago ago

No comments yet.