markstoehr/cs161
University of Chicago cmsc 16100 labs
Public GitHub Catalog
Discovered Oct 2, 2026
markstoehr / book
A textbook on informal homotopy type theory
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#23932744GitHub System ID
markstoehrOrganization / User
PublicVisibility
ActiveCatalog Status
More from markstoehr
markstoehr/ucetd-latex
University of Chicago electronic dissertation LaTeX class and template
markstoehr/lighthouse
Lighthouse: a peer to peer crowdfunding app that uses Bitcoin
markstoehr/researchnotes
My research notes