Xena project: formalising math starting from the undergrad curriculum. https://xenaproject.wordpress.com/what-is-the-xena-project/ … #leanprover #xenaproject #math #computerassistedproofs
0 replies
1 proslijeđeni tweet
1 korisnik označava da mu 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.