Pyano: A formalization of first-order logic and Peano's axioms in Python Posted by sanjoy_das on Tuesday June 27, 2023 @02:10AM from the github.com dept. https://github.com/sanjoy/pyano ( no comments | on HN )
There are no comments yet.