Alternatives and similar repositories for Turing

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

• teorth / symmetric_project
  ☆93Updated last year
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆58Updated 8 months ago
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆26Updated this week
• kckennylau / local-langlands-abelian
  Formalization of Statement of Local Langlands Correspondence for Tori
  ☆12Updated 6 years ago
• zhangir-azerbayev / lean-chat
  ☆51Updated 3 years ago
• metamath / metamath-book
  Source of metamath book
  ☆51Updated last year
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆73Updated 4 months ago
• dwrensha / animate-lean-proofs
  tool for turning Lean proofs into Blender animations
  ☆74Updated 2 months ago
• bhgomes / lean-riemann-hypothesis
  Riemann Hypothesis in Lean
  ☆41Updated 4 years ago
• b-mehta / combinatorics
  ☆23Updated 3 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆39Updated 4 months ago
• jsm28 / AperiodicMonotilesLean
  Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)
  ☆15Updated last week
• liuyj8526 / Computation-of-Elliptic-Units
  We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…
  ☆32Updated 4 years ago
• ATOMSLab / LeanLJ
  Lennard Jones in Lean
  ☆19Updated 3 months ago
• djvelleman / HTPILeanPackage
  ☆33Updated 3 months ago
• fpvandoorn / LeanCourse24
  Bonn Lean course for winter 24/25
  ☆36Updated last month
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆44Updated 5 years ago
• math-comp / odd-order
  The formal proof of the Odd Order Theorem
  ☆35Updated 2 weeks ago
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated 2 years ago
• uds-psl / coq-library-complexity
  ☆32Updated 2 years ago
• aisejohan / cring
  Johan's clone of the cring repository from http://cring.adeel.ru/
  ☆28Updated 12 years ago
• thery / coqprime
  Prime numbers for Coq
  ☆42Updated last month
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆91Updated this week
• b-mehta / exponential-ramsey
  A formal proof of an exponentially better upper bound on Ramsey numbers
  ☆17Updated 2 years ago
• GaloisInc / lean-llvm
  LLVM support for the lean theorem prover
  ☆52Updated 4 years ago
• leanprover-community / lean-client-python
  Python talking to the Lean theorem prover
  ☆46Updated 4 years ago
• PatrickMassot / lean-verbose
  Very controlled natural language tactics for Lean
  ☆64Updated last year
• firetto / Walnut
  ☆11Updated last year
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆48Updated last year
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆76Updated 4 months ago