Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with martin-lof-type-theory
A curated list of projects in awesome lists tagged with martin-lof-type-theory .
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: 02 Aug 2024