Coq code

Some code and formalisation

Homotopy type theory in Coq

Last updated: 2017-07-01 za 14:39

Emacs 25.1.1 (Org mode 9.0.9)

Validate