Projects in Awesome Lists tagged with function-extensionality
A curated list of projects in awesome lists tagged with function-extensionality .
https://github.com/martinescardo/HoTT-UF-Agda-Lecture-Notes
Lecture notes on univalent foundations of mathematics with Agda
agda dependent-types function-extensionality homotopy-type-theory hott-uf lecture-notes martin-lof-type-theory mltt propositional-truncation type-theory univalence-axiom univalent-foundations univalent-mathematics univalent-type-theory
Last synced: 01 May 2025
