Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @DarioVerta
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @DarioVerta
-
Dario Verta proslijedio/la je Tweet
Metamath Zero by Mario Carneiro is looking really promising! It's a super-fast proof checker with implementations in
#haskell and#rustlang: - Presentation: http://www.andrew.cmu.edu/user/avigad/meetings/fomm2020/slides/fomm_carneiro.pdf … - Github repository: https://github.com/digama0/mm0/ pic.twitter.com/QdyTtvm0OS
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Dario Verta proslijedio/la je Tweet
In this thread I’m going to explain Grothendieck’s section conjecture: what it is and why I think it’s one of the most important open questions out there. This is a sequel to my previous thread about étale fundamental groups: (1/n)https://twitter.com/littmath/status/1212937302583980032 …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Dario Verta proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Dario Verta proslijedio/la je Tweet
Even people who can't go should read what Olivia Caramello has to say about topos theory. Here's a not-so-technical explanation on her website: https://www.oliviacaramello.com/Unification/ToposesBridges.html … and here's something more detailed: https://www.oliviacaramello.com/Unification/TechnicalExplanation.html …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
A picture of me was used for the AMS website! Also there are Rhea Palak Bakshi, Marithania Silvero, and Sujoy Mukherjee.https://www.ams.org/renew
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Giving a talk tomorrow at UCR- Watkins Hall 2240.
@CreeepyJoe Is this a tricky building to get to?Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
Č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.