SpectralSequences / sseqLinks
The root repository for the SpectralSequences project.
☆30Updated 2 months ago
Alternatives and similar repositories for sseq
Users that are interested in sseq are comparing it to the libraries listed below
Sorting:
- Schemes in Lean (v2)☆43Updated 4 years ago
- Typeset version of EGA and SGA by Grothendieck.☆12Updated 11 years ago
- M4 algebraic geometry course in Lean☆59Updated 5 years ago
- ☆32Updated last week
- Notes on how to use the internal language of toposes in algebraic geometry☆58Updated this week
- Synthetic geometry. Probably mostly algebraic geometry.☆24Updated last year
- H.O.T.T. using rewriting in Agda☆42Updated 2 years ago
- Tag-based webview of LaTeX documents☆30Updated last year
- ☆11Updated last year
- CoDi: Commutative Diagrams for TeX☆31Updated last year
- Mirror of ocaml-forester☆45Updated last year
- ☆15Updated last year
- Very controlled natural language tactics for Lean☆64Updated last year
- Topos theory in lean☆61Updated 4 years ago
- Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean☆59Updated 2 weeks ago
- A toolkit for higher-dimensional diagram rewriting.☆17Updated 2 years ago
- Reference sheet for people who know Lean 3 and want to write tactic-based proofs in Lean 4☆27Updated 7 months ago
- Graphical rewriting for diagrammatic reasoning in monoidal categories in Lean4☆27Updated 11 months ago
- LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.☆62Updated 11 months ago
- lecture notes for Analytic Geometry course☆11Updated 3 years ago
- Formalizing Euclidean Geometry in Lean☆29Updated last year
- VSCode support for Forester☆19Updated last month
- A file-based mirror of the nLab wiki (Markdown+itex2MML format).☆28Updated this week
- An attempt towards univalent classical mathematics in Cubical Agda.☆30Updated last year
- Code samples for Lean 4☆75Updated last year
- An English translation of Deligne's three "Hodge theory" papers☆11Updated 2 weeks ago
- ☆10Updated 3 years ago
- Markdown file of the list and explanations of all mathlib4 tactics☆42Updated last year
- Effective Algebraic Topology in Haskell☆91Updated 9 months ago
- A package to typeset ZX calculus directly in LaTeX.☆17Updated last year