Mikan: a proof assistant for cubical type theory (forked from Agda)mathstodon.xyz2 pointsbaruchel2 months ago