GitHub repository: siddhartha-gadgil/ProvingGround
Primary language: Jupyter Notebook
Description: Proving Ground: Tools for Automated Mathematics