Homotopy Type Theory. ~ Nicolas Tabareau. https://github.com/Coq-Andes-Summer-School/CASS2020/raw/master/slides_tabareau.pdf … #ITP #Coq #HoTT
11:43 - 25. sij 2020.
0 replies
3 proslijeđena tweeta
11 korisnika označava da im se sviđa
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.