Coq solutions to exercises in HoTT book - View it on GitHub
Star
12
Rank
1350626