sligocki / busy-beaver

Related projects ⓘ

Alternatives and complementary repositories for busy-beaver

• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆39Updated 3 months ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆87Updated 3 months ago
• desi-ivanov / agda-regexp-automata
  Formalization of Regular Languages in Agda: regular expressions, finite-state automata, proof of equivalence, proof of the pumping lemma.
  ☆15Updated 4 years ago
• Anon52MI4 / oeis-alien
  ☆19Updated last year
• oeis / oeisdata
  Content of Online Encyclopedia of Integer Sequences (OEIS)
  ☆62Updated this week
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆66Updated 2 weeks ago
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆38Updated 3 weeks ago
• ericastor / rmzoo
  ☆14Updated 7 months ago
• b-mehta / exponential-ramsey
  ☆12Updated last year
• bbchallenge / bbchallenge-proofs
  Mathematical proofs of the bbchallenge project.
  ☆17Updated last week
• ccz181078 / Coq-BB5
  ☆157Updated this week
• danbriggs / Turing
  Methods for accelerating and proving theorems about 5-state Busy Beaver candidates
  ☆19Updated 3 years ago
• bhgomes / lean-riemann-hypothesis
  Riemann Hypothesis in Lean
  ☆39Updated 3 years ago
• emreyolcu / rewriting-collatz
  An automated approach to the Collatz conjecture
  ☆13Updated last year
• liuyj8526 / Computation-of-Elliptic-Units
  We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…
  ☆32Updated 3 years ago
• archmageirvine / joeis
  Java implementations of sequences in the OEIS
  ☆58Updated this week
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆22Updated last year
• ReedOei / Pecan
  An automated theorem prover that uses Büchi automata.
  ☆40Updated 3 years ago
• SReichelt / slate
  The Slate Interactive Theorem Prover
  ☆23Updated last year
• teorth / expdb
  Exponent pair database
  ☆19Updated this week
• philzook58 / knuckledragger
  Semi-Automated Python Proof Assistant
  ☆54Updated this week
• leanprover-community / lean-client-python
  Python talking to the Lean theorem prover
  ☆41Updated 3 years ago
• loda-lang / loda-programs
  LODA Programs for Integer Sequences
  ☆31Updated this week
• teorth / symmetric_project
  ☆85Updated last year
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆20Updated last week
• ah1112 / synthetic_euclid_4
  ☆10Updated 9 months ago
• leanprover-community / tutorials4
  Lean 4 tutorial files
  ☆30Updated 6 months ago
• mirefek / geo_logic
  Tool for euclidean geometry aware of logic
  ☆81Updated 5 months ago
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆74Updated last year
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago