Formal Methods in Mathematics / Lean Together 2020 vids and slides http://www.andrew.cmu.edu/user/avigad/meetings/fomm2020/ …
08:53 - 25. sij 2020.
0 replies
3 proslijeđena tweeta
9 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.