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