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