Dépôts de martinescardo
3 dépôts publics de martinescardo au catalogue, du plus étoilé au moins étoilé.
- martinescardo/HoTTEST-Summer-SchoolÉtoiles : 341TeXAlpha
- martinescardo/TypeTopologyÉtoiles : 288AgdaAlpha
- martinescardo/HoTT-UF-Agda-Lecture-NotesÉtoiles : 237AgdaPrototype