Slides: https://tqft.net/web/notes/load.php?name=talks/20190813-theorem-proving-for-mathematicians …
https://youtu.be/WIK1i_7lvHA
#leanprover
0 replies
2 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.