Coq code

Some code and formalisation

Homotopy type theory in Coq

Last updated: 2017-10-11 wo 10:13

Emacs 25.1.1 (Org mode 9.0.9)

Validate