Alternatives and similar repositories for beaver

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

• sligocki / busy-beaver
  Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
  ☆44Updated this week
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆73Updated 3 months ago
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆57Updated 7 months ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆76Updated 4 months ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆35Updated 5 months ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 4 months ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆94Updated last year
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆116Updated 3 years ago
• rocq-community / qarith-stern-brocot
  Binary rational numbers in Coq [maintainer=@herbelin]
  ☆15Updated last year
• oeis / oeisdata
  Content of Online Encyclopedia of Integer Sequences (OEIS)
  ☆99Updated this week
• mathlingua / mathlingua
  Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…
  ☆70Updated 7 months ago
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆81Updated last year
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆170Updated this week
• LogicalAtomist / principia
  The Principia Rewrite
  ☆227Updated 8 months ago
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆26Updated last month
• suyjuris / obst
  Online BDD Simulation Tool
  ☆21Updated 2 months ago
• danthedaniel / BF-JIT
  BrainFuck just-in-time compiler
  ☆30Updated 2 weeks ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆76Updated last year
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆121Updated last week
• sanjoy / pyano
  A formalization of first-order logic and Peano's axioms in Python
  ☆20Updated 3 months ago
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆149Updated 7 years ago
• mirefek / geo_logic
  Tool for euclidean geometry aware of logic
  ☆88Updated last year
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆85Updated 6 months ago
• mmasdeu / topologygame
  Learn Lean and topology
  ☆24Updated 2 years ago
• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆169Updated 10 months ago
• metamath / metamath-book
  Source of metamath book
  ☆51Updated last year
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆43Updated 3 years ago
• HnimNart / deeplearning
  ☆53Updated last month
• rokicki / lifealg
  ☆12Updated 7 years ago
• elucent / scheme2d
  The future of programming.
  ☆69Updated 4 years ago