francoisschwarzentruber / tikzzz
A tiny tikzzz editor in the browser
☆11Updated last month
Related projects ⓘ
Alternatives and complementary repositories for tikzzz
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 4 years ago
- The root repository for the SpectralSequences project.☆25Updated last week
- ☆13Updated 3 years ago
- Template to effortlessly build math-rich websites☆39Updated 2 years ago
- A heuristic procedure for proving inequalities☆32Updated 6 years ago
- lean-related presentations☆16Updated 9 months ago
- A program for drawing knots and links, with support for importing images☆26Updated 9 months ago
- formalization of theorems of higher algebraic K-theory☆8Updated 10 years ago
- VSCode support for Forester☆18Updated 5 months ago
- Mirror of ocaml-forester☆40Updated 4 months ago
- A community database of topological counterexamples☆72Updated this week
- ☆34Updated last year
- Tag-based webview of LaTeX documents☆28Updated 9 months ago
- VSCode extension for Metamath☆10Updated 3 weeks ago
- Write formal proofs in natural language and LaTeX.☆32Updated last week
- ☆21Updated 2 years ago
- My mathematical Zettelkasten, created using forester.☆77Updated 2 weeks ago
- multilingual dictionary of mathematical terminology☆19Updated this week
- ☆28Updated last year
- Plain-text declaration export for Lean 4☆11Updated 3 weeks ago
- lecture notes for Analytic Geometry course☆11Updated 3 years ago
- An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4☆15Updated 2 years ago
- Metamath verifier in Python☆34Updated 6 months ago
- Tableau for basic modal logic in Lean 3☆13Updated last year
- ☆8Updated last year
- Monadic Constraint Programming framework☆28Updated 6 years ago
- Commutative diagrams with TikZ☆46Updated 2 years ago
- Schemes in Lean (v2)☆42Updated 4 years ago
- A LaTeX package to reproduce (an enhanced version of) the numbered paragraph style from classic French mathematics books.☆19Updated 3 years ago
- Cours d'informatique en MP2I (OCaml, C, SQL)☆43Updated 4 months ago