Mikan: a proof assistant for cubical type theory (forked from Agda)mathstodon.xyz2 points·baruchel··0 commentsOpen articleSaveView on HN