Gerby, used by #Kerodon and originally intended for the #Stacks-project, lets you write a large hypertext in #aTeX and navigate it in the browser
on 02024-04-15Jacob Lurie’s "Kerodon" is “an online textbook on categorical homotopy theory and related mathematics” modeled on the #Stacks-Project
on 02024-04-15