SpectralSequences / latex
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
- Lecture Notes for Algebra Lectures at the University of Bonn☆12Updated 7 months ago
- Emacs mode for Lean☆70Updated last year
- Tag-based webview of LaTeX documents☆28Updated last year
- CoDi: Commutative Diagrams for TeX☆31Updated last year
- Compute ext using Rust☆9Updated 4 years ago
- My basic LaTeX macros and BibTeX file.☆13Updated 2 years ago
- Commutative diagrams with TikZ☆50Updated 2 years ago
- A repackaged version of the Kenzo program by Francis Sergeraert and collaborators.☆52Updated 2 months ago
- A LaTeX package to reproduce (an enhanced version of) the numbered paragraph style from classic French mathematics books.☆19Updated 3 years ago
- A digital archive of category theory papers.☆30Updated last year
- Examples of technical drawing with John Hobby's MetaPost language☆50Updated 2 months ago
- My mathematical Zettelkasten, created using forester.☆82Updated this week
- Template to effortlessly build math-rich websites☆39Updated 3 years ago
- Theorems for Real Closed Fields☆13Updated last week
- Emacs major mode for Lean 4☆88Updated this week
- M4 algebraic geometry course in Lean☆59Updated 5 years ago
- An Emacs mode for working with Agda code in an Org-mode like fashion, more or less.☆18Updated 3 years ago
- Formalization of the existence of sphere eversions☆40Updated 3 weeks ago
- A Library for Classical Propositional Logic in Agda☆16Updated 5 years ago
- Mirror of ocaml-forester☆44Updated 10 months ago
- A formalization of the Dedekind real numbers in Coq [maintainer=@andrejbauer]☆43Updated 9 months ago
- ☆34Updated 5 months ago
- Reference sheet for people who know Lean 3 and want to write tactic-based proofs in Lean 4☆27Updated 5 months ago
- some maths papers in English☆18Updated 3 weeks ago
- An English translation of the Séminaire de Géométrie Algébrique du Bois Marie☆32Updated 2 months ago
- Synthetic geometry. Probably mostly algebraic geometry.☆23Updated last year
- Algebraic Combinatorics in Coq☆38Updated 3 months ago
- The Agda Universal Algebra Library (html docs available at the url below)☆33Updated 4 months ago
- A formalization of Constructive Projective Geometry in Agda☆13Updated 5 years ago
- ☆15Updated 2 months ago