M mathstodon.xyz Mikan: a proof assistant for cubical type theory (forked from Agda) 2 points baruchel 6 months ago 0 comments
