Alternatives and similar repositories for Turing

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

• teorth / symmetric_project
  ☆94Updated 2 years ago
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆61Updated 11 months ago
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆27Updated last month
• bhgomes / lean-riemann-hypothesis
  Riemann Hypothesis in Lean
  ☆42Updated 4 years ago
• ianjauslin-rutgers / pythagoras4
  Many proofs of the Pythagoras theorem - Lean 4
  ☆10Updated 2 years ago
• kckennylau / local-langlands-abelian
  Formalization of Statement of Local Langlands Correspondence for Tori
  ☆12Updated 7 years ago
• ATOMSLab / LeanLJ
  Lennard Jones in Lean
  ☆21Updated 6 months ago
• metamath / metamath-book
  Source of metamath book
  ☆55Updated 2 years ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆79Updated 7 months ago
• fpvandoorn / LeanCourse24
  Bonn Lean course for winter 24/25
  ☆40Updated last month
• dwrensha / animate-lean-proofs
  tool for turning Lean proofs into Blender animations
  ☆80Updated last month
• firetto / Walnut
  ☆12Updated last year
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆48Updated last year
• b-mehta / exponential-ramsey
  A formal proof of an exponentially better upper bound on Ramsey numbers
  ☆18Updated 2 years ago
• leanprover-community / lftcm2020
  Lean for the Curious Mathematician 2020
  ☆68Updated 2 years ago
• zhangir-azerbayev / lean-chat
  ☆51Updated 3 years ago
• GaloisInc / lean-llvm
  LLVM support for the lean theorem prover
  ☆53Updated 4 years ago
• leanprover-community / lean-client-python
  Python talking to the Lean theorem prover
  ☆46Updated 4 years ago
• jsm28 / AperiodicMonotilesLean
  Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)
  ☆15Updated last week
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆41Updated 8 months ago
• fpvandoorn / carleson
  A formalized proof of Carleson's theorem in Lean
  ☆83Updated this week
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆64Updated last year
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆26Updated 5 years ago
• ImperialCollegeLondon / formalising-mathematics-2023
  repository for material for Jan-Mar 2023 course on formalising mathematics
  ☆48Updated last year
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆92Updated 2 months ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆17Updated last month
• 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…
  ☆24Updated 2 weeks ago
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆43Updated 5 years ago
• egraphs-good / snake-egg
  Python bindings for egg
  ☆50Updated 3 years ago
• leanprover-community / llm
  Interfacing with Large Language Models (remote and local) from Lean.
  ☆28Updated last year