agda / cubical

An experimental library for Cubical Agda
455Updated last week

Related projects

Alternatives and complementary repositories for cubical