Asked by @boarders__ : if you could take a sabbatical just to formalize (say in #leanprover) the basics of any field of math, which would it be and why?
18:54 - 9. pro 2019.
0 replies
1 proslijeđeni tweet
2 korisnika označavaju 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.