zmwangx / Typeset-EGA-SGA
Typeset version of EGA and SGA by Grothendieck.
☆12Updated 11 years ago
Alternatives and similar repositories for Typeset-EGA-SGA:
Users that are interested in Typeset-EGA-SGA are comparing it to the libraries listed below
- Experiments in Synthetic Differential Geometry☆16Updated 3 years ago
- An English translation of Deligne's three "Hodge theory" papers☆11Updated this week
- The root repository for the SpectralSequences project.☆27Updated this week
- A LaTeX package to reproduce (an enhanced version of) the numbered paragraph style from classic French mathematics books.☆19Updated 3 years ago
- Research material of Erik Palmgren (1963–2019)☆20Updated 2 years ago
- Tag-based webview of LaTeX documents☆28Updated last year
- A fornalisation of Grobner basis in ssreflect☆12Updated 2 months ago
- ☆13Updated 9 months ago
- ☆18Updated 3 years ago
- ☆17Updated 2 years ago
- A server for the forester tool☆13Updated 3 months ago
- Revised Omega-categorical Typechecker☆26Updated 4 months ago
- ☆13Updated 6 months ago
- Agda code for experimenting with internal models of cubical type theory☆13Updated 6 years ago
- A personal library, formalizing cohesive homotopy type theory in Agda.☆12Updated 5 years ago
- An attempt towards univalent classical mathematics in Cubical Agda.☆29Updated last year
- HoTT Book formalisations in Rzk.☆17Updated last year
- ☆29Updated 2 weeks ago
- A Unifying Cartesian Cubical Set Model☆35Updated 5 years ago
- ☆14Updated 2 weeks ago
- Notes (and implementation) of unification with binders☆14Updated 3 months ago
- Type theory in type theory☆16Updated 13 years ago
- A formalization of the theory behind the mugen library☆19Updated 8 months ago
- Partial combinatory algebras and realizability interpretations of arithmetic, in Coq.☆13Updated 7 years ago
- Directed type theory for formal category theory☆17Updated 7 years ago
- M4 algebraic geometry course in Lean☆59Updated 5 years ago
- Synthetic geometry. Probably mostly algebraic geometry.☆23Updated last year
- Formal verification of parts of the Stacks Project in Lean☆21Updated 3 years ago
- Experiments with higher-order abstract syntax in Agda☆20Updated 2 years ago
- ☆12Updated 3 years ago