Grace17 – a new proof assistant for mathematics based on set theory (grace17.org) 2 points by specialgoodness 11d ago ↗ HN
0 comments
[ 0.87 ms ] story [ 5.6 ms ] threadNo comments yet.