Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Agda TeX
Failed to load latest commit information.
categories mark postulates so I can see what is left
computational-interp mark postulates so I can see what is left
homotopy torus paper
lib
metatheory time
misc
oldlib resuccitate partial torus proof from last fall
polymorphism
programming mark postulates so I can see what is left
.gitignore more cleanup
README finish library revisions
badpostulates mark postulates so I can see what is left

README

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
Something went wrong with that request. Please try again.