Mikan: a proof assistant for cubical type theory (forked from Agda) #1 Post by baruchel » Tue, May 05, 2026, 5:11 PM UTC Mikan: a proof assistant for cubical type theory (forked from Agda)mathstodon.xyz