Code

Software verification

Homotopy type theory

Other

Last updated: 2018-09-11 di 13:30

Emacs 25.2.2 (Org mode 9.1.3)

Validate