Pyano: A formalization of first-order logic and Peano's axioms in Pythongithub.com/sanjoy1 pointsanjoy_das3 years ago