Futuristic Mathematics: Computer-based Theorem Verification, Computer-based proof assistance: https://mathoverflow.net/questions/311071/which-mathematical-definitions-should-be-formalised-in-lean … #LeanProver (great overview with many useful links and context!)
0 replies
3 proslijeđena tweeta
4 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.
