JasonGross/HoTT-mathcamp-2015-class
Syllabus and exercises for the class on HoTT I plan to teach at Candada/USA Mathcamp 2015
Public GitHub Catalog
Discovered Oct 7, 2026
JasonGross / masters-thesis
Personal Masters Thesis
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.
#34684131GitHub System ID
JasonGrossOrganization / User
PublicVisibility
ActiveCatalog Status
More from JasonGross
JasonGross/math-classes
A library of abstract interfaces for mathematical structures in Coq.
JasonGross/parsing-parses
A dependently typed parser that parses parse trees to prove itself sound and complete
JasonGross/repo-8.5
Public repository.