mikeshulman/HoTT-Agda
Development of homotopy type theory in Agda
Developer Profile
mikeshulman
Discovered public repositories for mikeshulman in the GitHub catalog.
mikeshulman/ddcalc
Notes on calculus
mikeshulman/book
A textbook on informal homotopy type theory
mikeshulman/hott-categories
Categories and the Rezk completion formalized in HoTT
mikeshulman/basictex
My basic LaTeX macros and BibTeX file.
mikeshulman/emacs_chrome
A Chromium "clone" of It's All Text for spawning an editor to edit text areas in browsers. Based on David Hilley's original Chromium extension.
mikeshulman/Coq-HoTT
Homotopy type theory
mikeshulman/Homotopy
Homotopy type theory