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
  ☆49Updated last week
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆92Updated 2 months ago
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆82Updated 2 years ago
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆61Updated 10 months ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆42Updated 8 months ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆77Updated last year
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆79Updated 7 months ago
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆86Updated 9 months ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆79Updated 7 months ago
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆117Updated 3 years ago
• metamath / metamath-book
  Source of metamath book
  ☆53Updated 2 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 7 months ago
• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆171Updated last year
• tromp / ChessPositionRanking
  Software suite for ranking chess positions and accurately estimating the number of legal chess positions
  ☆176Updated 2 years ago
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆153Updated this week
• oeis / oeisdata
  Content of Online Encyclopedia of Integer Sequences (OEIS)
  ☆116Updated this week
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆196Updated last week
• James-Hanson / junk-theorems-in-lean
  A small collection of formally verified junk theorems provable in Lean4 + Mathlib.
  ☆90Updated last month
• fredrik-johansson / fungrim
  Fungrim: the Mathematical Functions Grimoire
  ☆124Updated 3 years ago
• ericastor / rmzoo
  ☆14Updated last year
• LogicalAtomist / principia-rewrite
  The Principia Rewrite
  ☆229Updated 2 months ago
• suyjuris / obst
  Online BDD Simulation Tool
  ☆25Updated 6 months ago
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆91Updated last month
• mirefek / geo_logic
  Tool for euclidean geometry aware of logic
  ☆88Updated last year
• rokicki / lifealg
  ☆14Updated 7 years ago
• MathBases / MathBases
  ☆27Updated this week
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆132Updated last year
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆43Updated 3 years ago
• mmasdeu / topologygame
  Learn Lean and topology
  ☆26Updated 2 years ago
• bloomberg / crane
  A new extraction system from Rocq to functional-style, memory-safe, thread-safe, readable, valid, performant, and modern C++.
  ☆89Updated this week