GitHub repository: sundararajan-s/ProvingGround
Description: Proving Ground: Tools for Automated Mathematics