HoTT / HoTT-2019

Conference on Homotopy Type Theory 2019
15Updated 5 years ago

Related projects

Alternatives and complementary repositories for HoTT-2019