https://github.com/siddhartha-gadgil/ProvingGround
Proving Ground: Tools for Automated Mathematics
https://github.com/siddhartha-gadgil/ProvingGround
homotopy scala theorem-proving
Last synced: 5 months ago
JSON representation
Proving Ground: Tools for Automated Mathematics
- Host: GitHub
- URL: https://github.com/siddhartha-gadgil/ProvingGround
- Owner: siddhartha-gadgil
- License: mit
- Created: 2013-02-20T08:15:39.000Z (about 12 years ago)
- Default Branch: master
- Last Pushed: 2021-09-05T05:38:53.000Z (over 3 years ago)
- Last Synced: 2024-08-10T14:11:16.985Z (9 months ago)
- Topics: homotopy, scala, theorem-proving
- Language: Jupyter Notebook
- Homepage: http://siddhartha-gadgil.github.io/ProvingGround/
- Size: 435 MB
- Stars: 202
- Watchers: 24
- Forks: 38
- Open Issues: 7
-
Metadata Files:
- Readme: README.md
- License: LICENSE