PrototypeCommune
siddhartha-gadgil/ProvingGround
Proving Ground: Tools for Automated Mathematics
- Propriétaire
- siddhartha-gadgil (compte personnel)
- Étoiles
- Étoiles : 205
- Forks
- Forks : 38
- Langage
- Jupyter Notebook
- Licence
- MIT
- Création
- 2013
- Sujets
- scalahomotopytheorem-proving
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de siddhartha-gadgil
Les 2 dépôts de siddhartha-gadgil- siddhartha-gadgil/LeanAideÉtoiles : 125LeanPrototype
D’autres dépôts Jupyter Notebook
Tous les dépôts Jupyter Notebook- lvgalvao/imersao_databricksÉtoiles : 205Jupyter NotebookPrototype
- guzus/dr-manhattanÉtoiles : 205Jupyter NotebookPrototype
- databricks/officeqaÉtoiles : 205Jupyter NotebookPrototype
- preddy5/segnetÉtoiles : 205Jupyter NotebookPrototype
- martingerlach/hSBM_TopicmodelÉtoiles : 205Jupyter NotebookPrototype
- HuangCongQing/deeplearning.ai-noteÉtoiles : 205Jupyter NotebookPrototype