pyano
pyano copied to clipboard
sanjoy
A formalization of first-order logic and Peano's axioms in Python
Results
0
pyano issues
Sort by
recently updated
recently updated
newest added