GitHub repos by HoTT
4 public repos by HoTT in the catalog, most starred first.
- HoTT/bookStars: 2,174TeXRC
- HoTT/Coq-HoTTStars: 1,407Rocq ProverBeta
- HoTT/HoTT-AgdaStars: 442AgdaAlpha
- HoTT/EPIT-2020Stars: 110TeXPrototype
4 public repos by HoTT in the catalog, most starred first.