cubical-type-theory topic

List cubical-type-theory repositories

cubical

428
Stars
132
Forks
Watchers

An experimental library for Cubical Agda

anders

17
Stars
3
Forks
Watchers

🧊 Модальний гомотопічний верифікатор математики