Pyano: A formalization of first-order logic and Peano's axioms in Python (github.com) 1 points by sanjoy_das 3y ago ↗ HN
0 comments
[ 8.4 ms ] story [ 38.6 ms ] threadNo comments yet.