SpectralSequences / latexLinks
Latex package to print spectral sequence diagrams using pgf/tikz.
☆11Updated 2 years ago
Alternatives and similar repositories for latex
Users that are interested in latex are comparing it to the libraries listed below
Sorting:
- Tag-based webview of LaTeX documents☆29Updated last year
- Lecture Notes for Algebra Lectures at the University of Bonn☆12Updated 9 months ago
- Commutative diagrams with TikZ☆52Updated 2 years ago
- Formalization of the existence of sphere eversions☆42Updated this week
- My basic LaTeX macros and BibTeX file.☆13Updated 2 years ago
- An English translation of the Séminaire de Géométrie Algébrique du Bois Marie☆33Updated 3 months ago
- Compute ext using Rust☆9Updated 4 years ago
- Emacs mode for Lean☆69Updated last year
- CoDi: Commutative Diagrams for TeX☆31Updated last year
- Development tools for https://github.com/leanprover-community/mathlib☆34Updated last year
- Schemes in Lean (v2)☆43Updated 4 years ago
- TikZ/PGF package for drawing tilings, such as penrose and polykite tilings☆16Updated 2 years ago
- An experimental category theory library for Lean☆51Updated last year
- A Library for Classical Propositional Logic in Agda☆16Updated 5 years ago
- The root repository for the SpectralSequences project.☆30Updated 2 months ago
- Kan: A browser extension for reading nLab☆26Updated 6 years ago
- Effective Algebraic Topology in Haskell☆91Updated 8 months ago
- My mathematical Zettelkasten, created using forester. Moved to sourcehut.☆86Updated last week
- Synthetic geometry. Probably mostly algebraic geometry.☆24Updated last year
- HoTT in Lean 3☆80Updated 4 years ago
- A digital archive of category theory papers.☆30Updated last year
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 5 years ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆29Updated 11 years ago
- A LaTeX package to reproduce (an enhanced version of) the numbered paragraph style from classic French mathematics books.☆19Updated 4 years ago
- ☆85Updated last month
- some maths papers in English☆18Updated 2 months ago
- General-Purpose Computer Algebra System as an EDSL in Haskell☆93Updated 9 months ago
- M4 algebraic geometry course in Lean☆59Updated 5 years ago
- A program for drawing knots and links, with support for importing images☆32Updated last year
- Revised Omega-categorical Typechecker☆26Updated 7 months ago