Alternatives and similar repositories for Turing

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

• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆54Updated 5 months ago
• teorth / symmetric_project
  ☆92Updated last year
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆23Updated this week
• zhangir-azerbayev / lean-chat
  ☆50Updated 3 years ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆73Updated 2 months ago
• kckennylau / local-langlands-abelian
  Formalization of Statement of Local Langlands Correspondence for Tori
  ☆11Updated 6 years ago
• b-mehta / exponential-ramsey
  A formal proof of an exponentially better upper bound on Ramsey numbers
  ☆17Updated last year
• bhgomes / lean-riemann-hypothesis
  Riemann Hypothesis in Lean
  ☆41Updated 4 years ago
• hhu-adam / GameSkeleton
  The standard template to create a lean game
  ☆27Updated 2 weeks ago
• jsm28 / AperiodicMonotilesLean
  Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)
  ☆14Updated 3 weeks ago
• ATOMSLab / LeanLJ
  Lennard Jones in Lean
  ☆18Updated last month
• aisejohan / cring
  Johan's clone of the cring repository from http://cring.adeel.ru/
  ☆28Updated 12 years ago
• pitmonticone / LeanProject
  A template for blueprint-driven formalization projects in Lean.
  ☆69Updated last week
• fpvandoorn / LeanCourse24
  Bonn Lean course for winter 24/25
  ☆35Updated 3 weeks ago
• metamath / metamath-book
  Source of metamath book
  ☆49Updated last year
• MizarProject / system
  ☆37Updated 3 months ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 2 months ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆94Updated last year
• fpvandoorn / carleson
  A formalized proof of Carleson's theorem in Lean
  ☆67Updated this week
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆76Updated 2 months ago
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆25Updated 2 years ago
• ah1112 / synthetic_euclid_4
  ☆11Updated last year
• leanprover-community / lftcm2020
  Lean for the Curious Mathematician 2020
  ☆67Updated last year
• thery / coqprime
  Prime numbers for Coq
  ☆42Updated 2 weeks ago
• dwrensha / animate-lean-proofs
  tool for turning Lean proofs into Blender animations
  ☆74Updated last week
• ChezJrk / verified-scheduling
  ☆41Updated last year
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆46Updated last year
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆50Updated 3 years ago
• egraphs-good / snake-egg
  Python bindings for egg
  ☆49Updated 2 years ago
• GaloisInc / lean-llvm
  LLVM support for the lean theorem prover
  ☆51Updated 3 years ago