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
[ 2.8 ms ] story [ 11.1 ms ] threadNo comments yet.