Alternatives and similar repositories for beaver

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

• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆73Updated last month
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆33Updated 3 months ago
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆53Updated 5 months ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 2 months ago
• danbriggs / Turing
  Methods for accelerating and proving theorems about 5-state Busy Beaver candidates
  ☆20Updated 3 years ago
• sligocki / busy-beaver
  Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
  ☆42Updated this week
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆141Updated 7 years ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆75Updated 10 months ago
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆77Updated 5 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆94Updated last year
• metamath / metamath-book
  Source of metamath book
  ☆49Updated last year
• MLanguage / mlang
  Compiler for the M language, used to compute the income tax of French taxpayers
  ☆197Updated 2 weeks ago
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆115Updated 2 years ago
• suyjuris / obst
  Online BDD Simulation Tool
  ☆20Updated last week
• loda-lang / loda-programs
  LODA Programs for Integer Sequences
  ☆36Updated this week
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆81Updated last year
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆117Updated last month
• ericastor / rmzoo
  ☆13Updated last year
• LogicalAtomist / principia
  The Principia Rewrite
  ☆224Updated 6 months ago
• coffeemug / ts-wolfram
  A toy Wolfram language interpreter.
  ☆35Updated 9 months ago
• willcrichton / model-js-workspace
  My personal standard for how to set up a Javascript workspace
  ☆14Updated 2 years ago
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆85Updated 4 months ago
• kmill / lean4-raytracer
  A simple raytracer written in Lean 4
  ☆140Updated last year
• ralsei / types.pl
  The glitch-soc/Mastodon fork running on types.pl
  ☆25Updated last month
• mmasdeu / topologygame
  Learn Lean and topology
  ☆21Updated 2 years ago
• MathBases / MathBases
  ☆23Updated this week
• Lapin0t / grothendieck-cern
  Alexander Grothendieck's 1972 talk at CERN, on scientific research
  ☆63Updated 9 months ago
• oeis / oeisdata
  Content of Online Encyclopedia of Integer Sequences (OEIS)
  ☆91Updated this week
• blanchette / logical_verification_2023
  Hitchhiker's Guide to Logical Verification (2023 Edition)
  ☆110Updated last year
• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆167Updated 8 months ago