All Git Users → groupoid

4 open source projects by groupoid

[ Open user page on Github ]

♾ PTS: Pure Type System for Erlang

✭ 135

🧊 Презентації та Воркшопи

✭ 20

video slides mathematics cafe

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

✭ 5

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

4. groupoid.space

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

✭ 35

TeX Pug path pi hit induction sigma mltt

1-4 of 4 user projects