Twitter | Pretraživanje | |
ryan keleti
EGA website is now live at (still very much in testing). Built thanks to tools ()!
Reply Retweet Označi sa "sviđa mi se" More
ryan keleti 26. sij
Odgovor korisniku/ci @stacks_project
one todo: use for math that isn't diagrams.
Reply Retweet Označi sa "sviđa mi se"
Tim Hosgood 27. sij
Odgovor korisniku/ci @ryankeleti @stacks_project
next step: a dedicated ega hotline where you can call, state a section number, and an automated voice reads you the corresponding lemmas and proofs
Reply Retweet Označi sa "sviđa mi se"
Pieter Belmans 2. velj
Odgovor korisniku/ci @tjohnhos @ryankeleti @stacks_project
You are joking, but it's a near triviality to implement this I think using (this wouldn't be hooking it up to an actual telephone though)
Reply Retweet Označi sa "sviđa mi se"
Liu Yao 26. sij
Odgovor korisniku/ci @ryankeleti @stacks_project
Awesome! can now link back to EGA!
Reply Retweet Označi sa "sviđa mi se"
Vatsal Limbachia 26. sij
Odgovor korisniku/ci @ryankeleti @stacks_project
Awesome work !!
Reply Retweet Označi sa "sviđa mi se"