sanjoy / pyanoLinks

A formalization of first-order logic and Peano's axioms in Python
20Updated 2 months ago

Alternatives and similar repositories for pyano

Users that are interested in pyano are comparing it to the libraries listed below

Sorting: