siddhartha-gadgil/presentations
presentations using reveal.js
Public GitHub Catalog
Discovered Sep 26, 2026
siddhartha-gadgil / ProvingGround
Proving Ground: Tools for Automated Mathematics
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#8308849GitHub System ID
siddhartha-gadgilOrganization / User
PublicVisibility
ActiveCatalog Status
More from siddhartha-gadgil
siddhartha-gadgil/haiku
A Heroku-like name generator.
siddhartha-gadgil/ProofsAsMathematics
An invitation to propositions as types as in Homotopy type theory
siddhartha-gadgil/spire
Powerful new number types and numeric abstractions for Scala.