agda / cubical

An experimental library for Cubical Agda
459Updated this week

Related projects

Alternatives and complementary repositories for cubical