pcapriotti / agda-base

Base library for HoTT in Agda
36Updated 5 years ago

Related projects

Alternatives and complementary repositories for agda-base