sanjoy/pyano

A formalization of first-order logic and Peano's axioms in Python

1 best points · 0 comments · 1 Hacker News post · 21 GitHub stars · View on GitHub

Hacker News discussions