SpectralSequences / sseqLinks
The root repository for the SpectralSequences project.
☆30Updated 2 weeks ago
Alternatives and similar repositories for sseq
Users that are interested in sseq are comparing it to the libraries listed below
Sorting:
- A toolkit for higher-dimensional diagram rewriting.☆17Updated 2 years ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated last year
- M4 algebraic geometry course in Lean☆58Updated 5 years ago
- Typeset version of EGA and SGA by Grothendieck.☆12Updated 11 years ago
- A file-based mirror of the nLab wiki (Markdown+itex2MML format).☆31Updated this week
- Schemes in Lean (v2)☆43Updated 5 years ago
- Notes on how to use the internal language of toposes in algebraic geometry☆59Updated 2 months ago
- Formalisations for simplicial HoTT and synthetic ∞-categories.☆52Updated 2 months ago
- Lean for the Curious Mathematician 2020☆67Updated last year
- Template to effortlessly build math-rich websites☆39Updated 3 years ago
- An English translation of Deligne's three "Hodge theory" papers☆12Updated 3 weeks ago
- Very controlled natural language tactics for Lean☆64Updated last year
- A modern string diagram editor for the web.☆25Updated 4 months ago
- Commutative diagrams with TikZ☆54Updated 2 years ago
- Ground Zero: Lean 4 HoTT Library☆64Updated this week
- VSCode support for Forester☆21Updated 3 months ago
- Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras☆17Updated 3 years ago
- Mirror of ocaml-forester☆44Updated last year
- ☆33Updated 2 months ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 5 years ago
- HoTT Book formalisations in Rzk.☆20Updated last year
- Lean4 Tutorial/Notes on creating FFI bindings with GLFW as an example.☆16Updated this week
- Code samples for Lean 4☆76Updated last year
- The Complex Number Game. Make the complex numbers in Lean.☆40Updated 2 years ago
- The formal proof of the Odd Order Theorem☆34Updated this week
- Stacks project, from a homotopy type theory point-of-view (hPOV)☆14Updated 4 years ago
- An implementation of a simple Neural network in Idris using category theory.☆23Updated 11 months ago
- Effective Algebraic Topology in Haskell☆91Updated 11 months ago
- A formal proof of the irrationality of zeta(3), the Apéry constant [maintainer=@amahboubi,@pi8027]☆25Updated last month
- Implementation of higher-order logic in Python☆65Updated 2 years ago