Conference on Homotopy Type Theory 2019 - View it on GitHub
Star
16
Rank
1147143