propositional-truncation

There are 0 repository under propositional-truncation topic.

martinescardo / HoTT-UF-Agda-Lecture-Notes
Lecture notes on univalent foundations of mathematics with Agda
hott-uf univalent-foundations univalent-mathematics agda homotopy-type-theory mltt martin-lof-type-theory lecture-notes dependent-types univalence-axiom function-extensionality propositional-truncation type-theory univalent-type-theory
Language:Agda 213