Give AlbumentationsX a star on GitHub — it powers this leaderboard
Coq solutions to exercises in HoTT book