Pyano: A formalization of first-order logic and Peano's axioms in Python #1 Post by sanjoy_das » Tue, Jun 27, 2023, 6:10 AM UTC Pyano: A formalization of first-order logic and Peano's axioms in Pythongithub.com