Skip to content
Expressing (some of) the foundations of mathematics in python
Python
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
pytrace @ 3eceda4
.gitignore
.gitmodules
LICENSE
axioms.py
definitions.py
test.py
You can’t perform that action at this time.