Alternatives and similar repositories for tikzzz:

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

• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 5 years ago
• francoisschwarzentruber / prooffold
  Another attempt for visualizing proofs
  ☆11Updated 4 months ago
• sinhp / ProofLab
  ☆9Updated last year
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆49Updated 2 years ago
• jonsterling / ocaml-forester
  Mirror of ocaml-forester
  ☆43Updated 9 months ago
• thosgood / maths-dictionary
  multilingual dictionary of mathematical terminology
  ☆19Updated 4 months ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆13Updated 3 months ago
• FR-vdash-bot / transcendental
  Lindemann–Weierstrass Theorem
  ☆11Updated 10 months ago
• SpectralSequences / sseq
  The root repository for the SpectralSequences project.
  ☆28Updated last week
• chrisheunen / freetikz
  FreeTikZ
  ☆38Updated 7 years ago
• PatrickMassot / lean-verbose
  Very controlled natural language tactics for Lean
  ☆62Updated last year
• b-mehta / maths-notes
  Lecture notes from Cambridge maths
  ☆66Updated last year
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆43Updated 4 years ago
• coq-community / buchberger
  Verified implementation in Coq of Buchberger's algorithm for computing Gröbner bases [maintainer=@palmskog]
  ☆9Updated last year
• MarcdeFalco / MarcdeFalco.github.io
  Updated 2 years ago
• leanprover-community / lftcm2020
  Lean for the Curious Mathematician 2020
  ☆66Updated last year
• ImperialCollegeLondon / M4P33
  M4 algebraic geometry course in Lean
  ☆59Updated 5 years ago
• vaibhavkarve / leanteach2020
  Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project
  ☆27Updated 3 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
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆28Updated last year
• opencompl / lean-gap
  An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4
  ☆15Updated 2 years ago
• ah1112 / synthetic_euclid_4
  ☆11Updated last year
• loopspace / spath3
  TikZ/PGF package for manipulating soft paths, includes the knots and calligraphy TikZ libraries.
  ☆20Updated 7 months ago
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆33Updated 6 years ago
• mp2i-info / mp2i-info.github.io
  Cours d'informatique en MP2I (OCaml, C, SQL)
  ☆43Updated 8 months ago
• paolobrasolin / krater
  Template to effortlessly build math-rich websites
  ☆39Updated 3 years ago
• leanprover / lean-client-js
  ☆38Updated last year
• asouther4 / lean-social-choice
  A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.
  ☆24Updated 3 years ago
• thosgood / hodge-theory
  An English translation of Deligne's three "Hodge theory" papers
  ☆11Updated 2 weeks ago
• jjdishere / EG
  Formalizing Euclidean Geometry in Lean
  ☆29Updated last year