mltt
There are 8 repositories under mltt topic.
martinescardo/HoTT-UF-Agda-Lecture-Notes
Lecture notes on univalent foundations of mathematics with Agda
groupoid/groupoid.space
🧊 Інститут формальної математики
groupoid/anders
🧊 Модальний гомотопічний верифікатор математики
forked-from-1kasper/anders
Anders: Cubical Type Checker
forked-from-1kasper/bravo
Castle Bravo: Experimental HoTT Implementation
esmolanka/simple-pi
Simplistic implementation of dependently typed lambda calculus
kotoromo/IntroAgda
Material para una exposición dada el Miércoles 2 de Marzo del 2023 sobre una introducción a Agda como asistente de pruebas y a la Teoría Homotópica de Tipos.
forked-from-1kasper/hurricane
Hurricane: HoTT-I Type System