one todo: use https://katex.org/ for math that isn't diagrams.
-
-
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
-
-
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
-
You are joking, but it's a near triviality to implement this I think using https://developer.mozilla.org/en-US/docs/Web/API/Web_Speech_API … (this wouldn't be hooking it up to an actual telephone though)
Kraj razgovora
Novi razgovor -
-
-
Awesome!
@stacks_project can now link back to EGA!Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
-
-
Awesome work !!
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.