PrototypeCommon
siddhartha-gadgil/ProvingGround
Proving Ground: Tools for Automated Mathematics
- Owner
- siddhartha-gadgil (personal account)
- Stars
- Stars: 205
- Forks
- Forks: 38
- Language
- Jupyter Notebook
- License
- MIT
- Created
- 2013
- Topics
- scalahomotopytheorem-proving
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by siddhartha-gadgil
All 2 repos by siddhartha-gadgil- siddhartha-gadgil/LeanAideStars: 125LeanPrototype
Nearby in Jupyter Notebook
All Jupyter Notebook repos- lvgalvao/imersao_databricksStars: 205Jupyter NotebookPrototype
- guzus/dr-manhattanStars: 205Jupyter NotebookPrototype
- databricks/officeqaStars: 205Jupyter NotebookPrototype
- preddy5/segnetStars: 205Jupyter NotebookPrototype
- martingerlach/hSBM_TopicmodelStars: 205Jupyter NotebookPrototype
- HuangCongQing/deeplearning.ai-noteStars: 205Jupyter NotebookPrototype