Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
branch: master
Fetching contributors…

Cannot retrieve contributors at this time

19 lines (13 sloc) 0.464 kB
oldlib
a bunch of stuff using an older version of lib/
some of this needs to be resuccitated, like joseph's code in applications/torus2
lib
basic constructions of homotopy type theory
homotopy
applications of homotopy type theory to formalizing homotopy theory
programming
applications of homotopy type theory to programming
computational-interp
code having to do with the computational interpretation or 2tt
misc
miscellaneous little experiments
Jump to Line
Something went wrong with that request. Please try again.