|
@ryankeleti | |||||
|
EGA website is now live at ega.fppf.site (still very much in testing). Built thanks to @stacks_project tools (gerby-project.github.io)!
|
||||||
|
||||||
|
ryan keleti
@ryankeleti
|
26. sij |
|
one todo: use katex.org for math that isn't diagrams.
|
||
|
|
||
|
Tim Hosgood
@tjohnhos
|
27. sij |
|
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
|
||
|
|
||
|
Pieter Belmans
@pbelmans
|
2. velj |
|
You are joking, but it's a near triviality to implement this I think using developer.mozilla.org/en-US/docs/Web… (this wouldn't be hooking it up to an actual telephone though)
|
||
|
|
||
|
Liu Yao
@liuyao12
|
26. sij |
|
Awesome! @stacks_project can now link back to EGA!
|
||
|
|
||
|
Vatsal Limbachia
@RenaissanceNerd
|
26. sij |
|
Awesome work !!
|
||
|
|
||