Show HN: I wrote a toy proof assistent (github.com) 2 points by cjfd 1y ago ↗ HN It is an implementation of the Calculus of Constructions with a small set of axioms.
0 comments
[ 3.8 ms ] story [ 11.9 ms ] threadNo comments yet.