Hacker News new | ask | show | jobs
Mikan: a proof assistant for cubical type theory (forked from Agda) (mathstodon.xyz)
2 points by baruchel 45 days ago