4 ms·Pyano: A formalization of first-order logic and Peano's axioms in Python1 points by sanjoy_das 3y ago