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

(mathstodon.xyz) by baruchel | May 5, 2026 | 0 comments on HN