Alternatives and similar repositories for beaver

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

• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆54Updated 6 months ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆73Updated 3 months ago
• sligocki / busy-beaver
  Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
  ☆44Updated last week
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆76Updated last year
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆94Updated last year
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆34Updated 4 months ago
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆81Updated last year
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 3 months ago
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆77Updated 5 years ago
• blanchette / logical_verification_2023
  Hitchhiker's Guide to Logical Verification (2023 Edition)
  ☆111Updated last year
• kmill / lean4-raytracer
  A simple raytracer written in Lean 4
  ☆140Updated last year
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆126Updated this week
• metamath / metamath-book
  Source of metamath book
  ☆50Updated last year
• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆169Updated 9 months ago
• LogicalAtomist / principia
  The Principia Rewrite
  ☆225Updated 7 months ago
• suyjuris / obst
  Online BDD Simulation Tool
  ☆20Updated last month
• mirefek / geo_logic
  Tool for euclidean geometry aware of logic
  ☆88Updated last year
• oeis / oeisdata
  Content of Online Encyclopedia of Integer Sequences (OEIS)
  ☆95Updated this week
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆116Updated 3 years ago
• meithecatte / rustc-sat
  Makes rustc's exhaustiveness checker solve SAT problems
  ☆16Updated 4 years ago
• caotic123 / PomPom-Language
  The cuteness implementation of a dependently typed language.
  ☆193Updated 2 years ago
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆26Updated last week
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆76Updated 3 months ago
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆121Updated 2 weeks ago
• rocq-community / fourcolor
  Formal proof of the Four Color Theorem [maintainer=@ybertot]
  ☆217Updated 2 months ago
• Storyyeller / IntercalScript
  The IntercalScript programming language
  ☆139Updated 5 years ago
• breandan / picograd
  🦠 AD in less than 20 lines
  ☆54Updated 4 years ago
• ericastor / rmzoo
  ☆14Updated last year
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆26Updated 2 years ago
• PLSysSec / FaCT
  Flexible and Constant Time Programming Language
  ☆201Updated 3 years ago