G github.com Pyano: A formalization of first-order logic and Peano's axioms in Python 1 points sanjoy_das 3 years ago 0 comments
