Mikan: a proof assistant for cubical type theory (forked from Agda) (mathstodon.xyz) 2 points by baruchel 2mo ago ↗ HN
0 comments
[ 5.2 ms ] story [ 13.0 ms ] threadNo comments yet.