Code

1 Software verification

2 Homotopy type theory

3 Other

Last updated: 2018-02-18 zo 12:40

Emacs 25.2.2 (Org mode 9.1.3)

Validate