Mikan: a proof assistant for cubical type theory (forked from Agda)mathstodon.xyz 2 pointsbaruchel4 months agodiscussSaveHideCopy link On HNComments No comments yet.
Comments
No comments yet.