Alternatives and similar repositories for beaver

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

• metamath / metamath-book
  Source of metamath book
  ☆48Updated last year
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆33Updated 2 months ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆72Updated last month
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆53Updated 4 months ago
• rocq-community / qarith-stern-brocot
  Binary rational numbers in Coq [maintainer=@herbelin]
  ☆14Updated last year
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆75Updated 10 months ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated last month
• b-mehta / combinatorics
  ☆23Updated 3 years ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 7 months ago
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆21Updated 8 months ago
• loda-lang / loda-programs
  LODA Programs for Integer Sequences
  ☆35Updated this week
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆25Updated 5 years ago
• danbriggs / Turing
  Methods for accelerating and proving theorems about 5-state Busy Beaver candidates
  ☆20Updated 3 years ago
• coffeemug / ts-wolfram
  A toy Wolfram language interpreter.
  ☆36Updated 8 months ago
• ah1112 / synthetic_euclid_4
  ☆11Updated last year
• rose-lang / rose
  Composable autodiff for the interactive web.
  ☆26Updated 9 months ago
• PatrickMassot / lean-verbose
  Very controlled natural language tactics for Lean
  ☆64Updated last year
• glacode / yamma
  VSCode extension for Metamath
  ☆10Updated last week
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆94Updated 11 months ago
• uds-psl / coq-library-complexity
  ☆31Updated 2 years ago
• kmill / knotfolio
  A program for drawing knots and links, with support for importing images
  ☆32Updated last year
• dEAduction / dEAduction
  Source for the d∃∀duction project.
  ☆21Updated this week
• mmasdeu / topologygame
  Learn Lean and topology
  ☆21Updated 2 years ago
• barry-jay-personal / blog
  a general blog about my projects, or anything
  ☆21Updated 3 months ago
• vkostyukov / quipu
  Quipu Programming Language
  ☆20Updated 12 years ago
• gilbo / atl
  A Tensor Language
  ☆55Updated 4 years ago
• MLanguage / mlang
  Compiler for the M language, used to compute the income tax of French taxpayers
  ☆197Updated last week
• bntre / visual-lambda
  Visual environment for manipulation the lambda calculus expressions
  ☆25Updated last year
• Splines / lean-continuous
  Continuous functions formalized in Lean4. A students project accompanied by a YouTube video.
  ☆15Updated last week
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago