Popular repositories Loading

1. modern-latex-manuscripts modern-latex-manuscripts Public

   TeX 5 1

2. ega-en ega-en Public

   Elements of Algebraic Geometry: linked English EGA 0–IV, standalone readers, complete LaTeX and reproducible source projects.

   TeX 2

3. sga-en sga-en Public

   The linked English edition of SGA: a 4,211-page cumulative reader, nine volume PDFs, direct complete LaTeX and reproducible editable source projects.

   1

4. OpenLogic-translations OpenLogic-translations Public

   International hub and canon-first production standard for Open Logic translations

   HTML 1

5. gelfand-seminar-russian-diplomatic gelfand-seminar-russian-diplomatic Public

   Gelfand seminar notes: working Russian diplomatic LaTeX edition and source/transcription audit PDFs. Separate flowing A4 Russian and English readers are in preparation, with explicit uncertainties …

   TeX 1

6. mathematics-commons-pilot mathematics-commons-pilot Public

   Leiden-led, AI-integrated mathematics workflow using bounded Research Packets and peer-to-peer review.

   Python