All Categories → No Category → mltt

Top 2 mltt open source projects

🧊 Модальний Гомотопічний Прувер

✭ 5

Pug ocaml cubical-type-theory type-system theorem-prover type-checker mltt

🧊 Інститут Формальної Математики

✭ 35

TeX Pug path pi hit induction sigma mltt

1-2 of 2 mltt projects