viv linked me to that formality thing and im terribly confused
-
-
"our substitution rule is asymptotically faster than the closest competitor"
0 proslijeđenih tweetova 5 korisnika označava da im se sviđaPrikaži ovu nit -
whoever implemented this read a lot but did not think very much i think, how is it an "elementary affine" system if you recover dependent families by importing nearly the entirety of cic
1 reply 0 proslijeđenih tweetova 4 korisnika označavaju da im se sviđaPrikaži ovu nit -
they use pictorial port graphs instead of turnstiles resulting in clearly much more accessible notationpic.twitter.com/FeQJN2Lepy
0 proslijeđenih tweetova 4 korisnika označavaju da im se sviđaPrikaži ovu nit
Odgovor korisniku/ci @sigfig
Don't forget the diagrams from this gem of a paper in the related literature: https://www.sciencedirect.com/science/article/pii/S0890540104000884 …pic.twitter.com/mq4sCXBHja
18:02 - 14. ruj 2019.
0 replies
1 proslijeđeni tweet
7 korisnika označava 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.