Projects in Awesome Lists tagged with mltt
A curated list of projects in awesome lists tagged with mltt .
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
https://github.com/forked-from-1kasper/anders
Anders: Cubical Type Checker
ctt cubical-type-theory dependent-type-theory dependent-types homotopy-type-theory hott mltt proof-assistant theorem-prover type-checker type-system
Last synced: 23 Apr 2025
https://github.com/groupoid/anders
π§ ΠΠΎΠ΄Π°Π»ΡΠ½ΠΈΠΉ Π³ΠΎΠΌΠΎΡΠΎΠΏΡΡΠ½ΠΈΠΉ Π²Π΅ΡΠΈΡΡΠΊΠ°ΡΠΎΡ ΠΌΠ°ΡΠ΅ΠΌΠ°ΡΠΈΠΊΠΈ
cubical-type-theory dependent-types mltt proof-assistant theorem-prover type-checker type-system
Last synced: 05 Dec 2024
https://github.com/forked-from-1kasper/bravo
Castle Bravo: Experimental HoTT Implementation
dependent-types homotopy-type-theory hott hott-uf mltt proof-assistant theorem-prover type-checker univalent-foundations
Last synced: 23 Apr 2025
https://github.com/forked-from-1kasper/hurricane
Hurricane: HoTT-I Type System
dependent-type-theory dependent-types homotopy-type-theory hott hott-uf mltt proof-assistant theorem-prover type-checker
Last synced: 24 Feb 2025