SpectralSequences / latex
Latex package to print spectral sequence diagrams using pgf/tikz.
☆9Updated last year
Related projects ⓘ
Alternatives and complementary repositories for latex
- Commutative diagrams with TikZ☆46Updated 2 years ago
- Tag-based webview of LaTeX documents☆28Updated 9 months ago
- A community database of topological counterexamples☆72Updated this week
- M4 algebraic geometry course in Lean☆58Updated 4 years ago
- Emacs mode for Lean☆69Updated last year
- CoDi: Commutative Diagrams for TeX☆30Updated 7 months ago
- A repackaged version of the Kenzo program by Francis Sergeraert and collaborators.☆50Updated 4 years ago
- Formalization of the existence of sphere eversions☆36Updated this week
- Template to effortlessly build math-rich websites☆39Updated 2 years ago
- Notes on how to use the internal language of toposes in algebraic geometry☆55Updated last month
- An experimental category theory library for Lean☆47Updated last year
- An English translation of the Séminaire de Géométrie Algébrique du Bois Marie☆31Updated 7 months ago
- Deposited packages of the homalg project☆12Updated last week
- Compute ext using Rust☆9Updated 3 years ago
- A formalization of synthetic algebraic geometry in Agda☆13Updated 5 years ago
- some maths papers in English☆18Updated last week
- Examples of technical drawing with John Hobby's MetaPost language☆42Updated last week
- Tim Button's open textbook on set theory☆30Updated last year
- Let's translate works of Grothendieck☆24Updated 5 years ago
- Schemes in Lean (v2)☆42Updated 4 years ago
- A program for drawing knots and links, with support for importing images☆26Updated 10 months ago
- Emacs major mode for Lean 4☆70Updated this week
- Cross-referencing system for LaTeX, inspired with RDF☆16Updated this week
- Effective Algebraic Topology in Haskell☆86Updated 2 months ago
- Algebraic Combinatorics in Coq☆37Updated this week
- TikZ/PGF package for drawing tilings, such as penrose and polykite tilings☆16Updated last year
- My mathematical Zettelkasten, created using forester.☆78Updated this week
- My basic LaTeX macros and BibTeX file.☆13Updated last year
- Differential cohesion in Homotopy Type Theory by an axiomatized infinitesimal shape modality☆52Updated 2 years ago
- A Lean file formatter☆63Updated last year