francoisschwarzentruber / tikzzz
A tiny tikzzz editor in the browser
☆12Updated 4 months ago
Alternatives and similar repositories for tikzzz:
Users that are interested in tikzzz are comparing it to the libraries listed below
- Mirror of ocaml-forester☆41Updated 8 months ago
- Lecture Notes for Algebra Lectures at the University of Bonn☆11Updated 5 months ago
- The root repository for the SpectralSequences project.☆27Updated 2 weeks ago
- Cours d'informatique en MP2I (OCaml, C, SQL)☆42Updated 7 months ago
- Updated 2 years ago
- Tag-based webview of LaTeX documents☆28Updated last year
- My mathematical Zettelkasten, created using forester.☆79Updated this week
- Verified implementation in Coq of Buchberger's algorithm for computing Gröbner bases [maintainer=@palmskog]☆9Updated last year
- Template to effortlessly build math-rich websites☆39Updated 3 years ago
- Commutative diagrams with TikZ☆47Updated 2 years ago
- A heuristic procedure for proving inequalities☆33Updated 6 years ago
- CoDi: Commutative Diagrams for TeX☆30Updated 9 months ago
- Metamath verifier in Python☆37Updated 10 months ago
- A modern string diagram editor for the web.☆20Updated last year
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 5 years ago
- Deposited packages of the homalg project☆13Updated last month
- M4 algebraic geometry course in Lean☆59Updated 4 years ago
- FreeTikZ☆37Updated 7 years ago
- Plain-text declaration export for Lean 4☆13Updated 4 months ago
- A place to put our 2018 Xena project UROP thoughts and programs.☆25Updated 4 years ago
- Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instru…☆41Updated 11 months ago
- ☆37Updated last year
- VSCode support for Forester☆18Updated 8 months ago
- A LaTeX package to reproduce (an enhanced version of) the numbered paragraph style from classic French mathematics books.☆19Updated 3 years ago
- multilingual dictionary of mathematical terminology☆19Updated 3 months ago
- Very controlled natural language tactics for Lean☆63Updated last year
- ☆10Updated last year
- An English translation of Deligne's three "Hodge theory" papers☆11Updated 4 months ago
- Schemes in Lean (v2)☆43Updated 4 years ago
- A tool to auto-generate and render slides from Markdown comments in the Lean editor.☆17Updated 3 months ago