GitHub repos by martinescardo
3 public repos by martinescardo in the catalog, most starred first.
- martinescardo/HoTTEST-Summer-SchoolStars: 341TeXAlpha
- martinescardo/TypeTopologyStars: 288AgdaAlpha
- martinescardo/HoTT-UF-Agda-Lecture-NotesStars: 238AgdaPrototype