fsestini / tt-in-cubical

Type Theory in Type Theory using Cubical Agda
12Updated 5 years ago

Related projects

Alternatives and complementary repositories for tt-in-cubical