thosgood / sgaLinks
An English translation of the Séminaire de Géométrie Algébrique du Bois Marie
☆41Updated 6 months ago
Alternatives and similar repositories for sga
Users that are interested in sga are comparing it to the libraries listed below
Sorting:
- Mirror of ocaml-forester☆49Updated last year
- My mathematical Zettelkasten, created using forester. Moved to sourcehut.☆91Updated 8 months ago
- An English translation of Grothendieck's Fondements de la Géometrie Algébrique☆28Updated last year
- A LaTeX package to reproduce (an enhanced version of) the numbered paragraph style from classic French mathematics books.☆19Updated 4 years ago
- Topos theory in lean☆64Updated 5 years ago
- Schemes in Lean (v2)☆43Updated 5 years ago
- Notes on how to use the internal language of toposes in algebraic geometry☆60Updated last month
- A program for generating LaTeX TikZ code for string diagrams.☆19Updated 4 years ago
- M4 algebraic geometry course in Lean☆58Updated 5 years ago
- Lean for the Curious Mathematician 2020☆68Updated 2 years ago
- A Lean file formatter☆71Updated 3 years ago
- Kan: A browser extension for reading nLab☆33Updated 7 years ago
- ☆24Updated 2 weeks ago
- Synthetic geometry. Probably mostly algebraic geometry.☆25Updated 2 years ago
- Formal verification of parts of the Stacks Project in Lean☆22Updated 4 years ago
- Categorical Logic Notes☆81Updated 3 years ago
- ☆14Updated 5 months ago
- Graphical rewriting for diagrammatic reasoning in monoidal categories in Lean4☆29Updated last year
- Topos theory in Lean 4☆16Updated last year
- An attempt towards univalent classical mathematics in Cubical Agda.☆32Updated 2 years ago
- An English translation of Deligne's three "Hodge theory" papers☆14Updated this week
- A database of small finite categories☆14Updated 2 years ago
- comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories☆73Updated last week
- ☆18Updated 3 weeks ago
- A graduate course on formalized mathematics at the Faculty of Mathematics and Physics, University of Ljubljana, Fall semester 2024/25☆27Updated last year
- Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos☆68Updated last week
- My basic LaTeX macros and BibTeX file.☆14Updated 3 years ago
- Lecture notes and exercises for the advanced course on Categorical Realizability at the Midlands Graduate School (MGS) 2024 and the Europ…☆24Updated 6 months ago
- Using Forester, We are attempting to resurrect and grow the since deleted model theory wiki and give it a better foundation for future gr…☆16Updated 8 months ago
- Tag-based webview of LaTeX documents☆32Updated 2 years ago