All Git Users → valis

2 open source projects by valis

[ Open user page on Github ]

A language based on homotopy type theory with an interval

✭ 78

Материалы и задания по курсу "Программирование с зависимыми типами" 2018 года

✭ 12

1-2 of 2 user projects