Alternatives and similar repositories for hodge-diamond-cutter

Users that are interested in hodge-diamond-cutter are comparing it to the libraries listed below

• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆26Updated this week
• automorphic-project / automorphic-project
  All the math/tex files for the Automorphic Project
  ☆19Updated last year
• kckennylau / local-langlands-abelian
  Formalization of Statement of Local Langlands Correspondence for Tori
  ☆12Updated 6 years ago
• girving / interval
  Conservative floating point interval arithmetic in Lean
  ☆22Updated 3 weeks ago
• leanprover-community / mathzoo
  Lean mathzoo
  ☆25Updated 3 years ago
• leanprover-community / sphere-eversion
  Formalization of the existence of sphere eversions
  ☆43Updated this week
• b-mehta / unit-fractions
  ☆15Updated last year
• b-mehta / exponential-ramsey
  A formal proof of an exponentially better upper bound on Ramsey numbers
  ☆17Updated last year
• alcides / aeon
  Aeon programming language
  ☆21Updated last week
• firetto / Walnut
  ☆11Updated last year
• BartoszPiotrowski / lean-premise-selection
  ☆22Updated last year
• km-git-acc / dbn_upper_bound
  Computational effort to upper bound the de Bruijn-Newman constant as part of a Polymath project
  ☆13Updated 2 years ago
• leanprover-community / lean-client-python
  Python talking to the Lean theorem prover
  ☆46Updated 4 years ago
• ImperialCollegeLondon / formalising-mathematics-2022
  Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…
  ☆121Updated last year
• leanprover-community / lean-web-editor
  Lean 3 web editor
  ☆13Updated last year
• ah1112 / synthetic_euclid_4
  ☆11Updated last year
• leanprover-community / doc-gen
  Generate HTML documentation for mathlib and Lean
  ☆21Updated last year
• chanind / mathlib-changelog
  ☆10Updated this week
• verified-optimization / CvxLean
  Convex optimization modeling in Lean 4
  ☆55Updated last year
• teorth / pfr
  Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
  ☆189Updated last month
• jesse-michael-han / lean-gptf
  Interactive neural theorem proving in Lean
  ☆130Updated 3 years ago
• 3-manifolds / Spherogram
  Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…
  ☆21Updated 2 months ago
• aisejohan / cring
  Johan's clone of the cring repository from http://cring.adeel.ru/
  ☆28Updated 12 years ago
• kendfrey / rubiks-cube-group
  A formalization of the Rubik's cube group
  ☆27Updated 5 years ago
• leanprover-community / lean-liquid
  💧 Liquid Tensor Experiment
  ☆207Updated last year
• google / formal-ml
  ☆25Updated 4 years ago
• leanprover-community / lftcm2020
  Lean for the Curious Mathematician 2020
  ☆67Updated last year
• zhangir-azerbayev / repl
  A simple REPL for Lean 4, returning information about errors and sorries.
  ☆11Updated 2 years ago
• leanprover-community / lean-perfectoid-spaces
  Perfectoid spaces in the Lean formal theorem prover.
  ☆127Updated last year
• teorth / symmetric_project
  ☆93Updated last year