1 result 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 7 months ago