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