contractibility of 2-homotopy types as correctness criterion for proof nets https://twitter.com/insurrealist/status/801745795808632832 …pic.twitter.com/3h1yb3ySww
17:26 - 24. stu 2016.
0 replies
0 proslijeđenih tweetova
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.