ezyang / HoTT-coqex

Coq solutions to exercises in HoTT book
11Updated 10 years ago

Related projects

Alternatives and complementary repositories for HoTT-coqex