mltt

There are 10 repositories under mltt topic.

martinescardo/HoTT-UF-Agda-Lecture-Notes
Lecture notes on univalent foundations of mathematics with Agda
Language:Agda230 16 1320
groupoid/groupoid.space
🧊 Інститут формальної математики
Language:TeX35 9 413
forked-from-1kasper/anders
Anders: Cubical Type Checker
Language:OCaml24 1 01
groupoid/anders
🧊 Модальний гомотопічний верифікатор математики
Language:OCaml22 0 02
forked-from-1kasper/bravo
Castle Bravo: Experimental HoTT Implementation
Language:OCaml7 2 01
esmolanka/simple-pi
Simplistic implementation of dependently typed lambda calculus
Language:Haskell4 2 00
keilambda/ttfpi-agda
Formalization of the book "Type Theory and Formal Proof: An Introduction" in Agda
Language:Agda4 0 00
forked-from-1kasper/hurricane
Hurricane: HoTT-I Type System
Language:OCaml1 2 0
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.
Language:HTML0 1 00
saki-lang/mltt-type-checker
An MLTT type checker implemented using Saki-Lang
0 0