2 results found Sort:

martinescardo
HoTT-UF-Agda-Lecture-Notes martinescardo
18
219
gpl-3.0
15
Lecture notes on univalent foundations of mathematics with Agda
agda mltt hott-uf type-theory lecture-notes dependent-types univalence-axiom homotopy-type-theory univalent-foundations univalent-mathematics univalent-type-theory martin-lof-type-theory function-extensionality propositional-truncation
Created 2019-03-20
1,048 commits to master branch, last one 6 months ago
HoTT-Intro
Agda HoTT-Intro
5
123
gpl-3.0
11
Agda formalisation of the Introduction to Homotopy Type Theory
agda hott-uf textbook univalence mathematics univalence-axiom mathematics-library homotopy-type-theory univalent-foundations univalent-mathematics
Created 2020-07-28
545 commits to master branch, last one 2 years ago