Alternatives and similar repositories for tikzzz:

Users that are interested in tikzzz are comparing it to the libraries listed below

• jonsterling / ocaml-forester
  Mirror of ocaml-forester
  ☆44Updated 10 months ago
• thosgood / maths-dictionary
  multilingual dictionary of mathematical terminology
  ☆19Updated 5 months ago
• SpectralSequences / sseq
  The root repository for the SpectralSequences project.
  ☆30Updated 3 weeks ago
• FlorianAdler / AlgebraBonn
  Lecture Notes for Algebra Lectures at the University of Bonn
  ☆12Updated 7 months ago
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 5 years ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆50Updated 2 years ago
• rocq-community / buchberger
  Verified implementation in Coq of Buchberger's algorithm for computing Gröbner bases [maintainer=@palmskog]
  ☆10Updated last year
• sonoisa / XyJax-v3
  Xy-pic extension for MathJax version 3
  ☆36Updated 2 years ago
• paolobrasolin / krater
  Template to effortlessly build math-rich websites
  ☆39Updated 3 years ago
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆33Updated 6 years ago
• sinhp / ProofLab
  ☆9Updated last year
• madvorak / lean4-cheatsheet
  Printable (A4) overview of tactics in Lean 4 for beginners
  ☆24Updated 7 months ago
• leanprover-community / import-graph
  Tool to analyse the import structure of lean projects.
  ☆11Updated 2 weeks ago
• chrisheunen / freetikz
  FreeTikZ
  ☆38Updated 7 years ago
• m4lvin / tablean
  Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.
  ☆13Updated last year
• impermeable / waterproof
  Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instru…
  ☆42Updated last year
• francoisschwarzentruber / prooffold
  Another attempt for visualizing proofs
  ☆12Updated 5 months ago
• leanprover / lean-client-js
  ☆38Updated last year
• arthurpaulino / LeanREPL
  ☆12Updated 2 years ago
• mp2i-info / mp2i-info.github.io
  Cours d'informatique en MP2I (OCaml, C, SQL)
  ☆43Updated 9 months ago
• leanprover-community / tutorials4
  Lean 4 tutorial files
  ☆36Updated 11 months ago
• Anon52MI4 / oeis-alien
  ☆19Updated 2 years ago
• utensil / lean4_jupyter
  A Lean 4 Jupyter kernel via repl
  ☆24Updated 5 months ago
• chasenorman / Formalized-Voting
  ☆13Updated 3 years ago
• thosgood / sga
  An English translation of the Séminaire de Géométrie Algébrique du Bois Marie
  ☆32Updated 2 months ago
• leanprover-community / lftcm2020
  Lean for the Curious Mathematician 2020
  ☆66Updated last year
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆13Updated 4 months ago
• MarcdeFalco / MarcdeFalco.github.io
  Updated 2 years ago
• 0art0 / lean-slides
  A tool to auto-generate and render slides from Markdown comments in the Lean editor.
  ☆18Updated last week
• ImperialCollegeLondon / M4P33
  M4 algebraic geometry course in Lean
  ☆59Updated 5 years ago