Pyano: A formalization of first-order logic and Peano's axioms in Pythongithub.com1 point·sanjoy_das··0 commentsOpen articleSaveView on HN