Alternatives and similar repositories for bunkbed-counterexample

Users that are interested in bunkbed-counterexample are comparing it to the libraries listed below

• Anon52MI4 / oeis-alien
  ☆19Updated 2 years ago
• MathBases / MathBases
  ☆21Updated this week
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆33Updated last week
• WessZumino / Random-Matrix-theory-for-pedestrians
  ☆18Updated 4 years ago
• oeis / oeisdata
  Content of Online Encyclopedia of Integer Sequences (OEIS)
  ☆81Updated this week
• glacode / yamma
  VSCode extension for Metamath
  ☆10Updated last month
• loda-lang / loda-programs
  LODA Programs for Integer Sequences
  ☆34Updated this week
• teorth / symmetric_project
  ☆87Updated last year
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆38Updated last year
• loda-lang / loda-cpp
  Runtime and miner for the LODA language written in C++
  ☆24Updated last week
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆70Updated last week
• fpvandoorn / carleson
  A formalized proof of Carleson's theorem in Lean
  ☆53Updated this week
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆42Updated last week
• eterevsky / beaver
  A solver for halting problem of Brainfuck programs
  ☆17Updated 5 years ago
• rschwiebert / RingApp
  A database app for ring theory
  ☆22Updated last week
• sagemath / sage-binder-env
  A Binder repo for SageMath computing environment
  ☆27Updated this week
• danbriggs / Turing
  Methods for accelerating and proving theorems about 5-state Busy Beaver candidates
  ☆20Updated 3 years ago
• so-okada / twXiv
  This app twXiv gives arXiv daily new submissions by tweets. We use python3 scripts. twXiv is not affiliated with arXiv.
  ☆18Updated 4 months ago
• emreyolcu / rewriting-collatz
  An automated approach to the Collatz conjecture
  ☆13Updated last year
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆52Updated 2 months ago
• ah1112 / synthetic_euclid_4
  ☆11Updated last year
• penguian / glucat
  GluCat: Clifford algebra templates
  ☆20Updated 2 months ago
• teorth / expdb
  Exponent pair database
  ☆52Updated this week
• pearu / functional_algorithms
  Functional algorithms - definitions and implementations
  ☆10Updated last month
• sligocki / busy-beaver
  Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
  ☆38Updated this week
• chrisheunen / freetikz
  FreeTikZ
  ☆38Updated 7 years ago
• AlgebraicJulia / StructuredDecompositions.jl
  Structured decompositions!
  ☆14Updated last month
• kckennylau / local-langlands-abelian
  Formalization of Statement of Local Langlands Correspondence for Tori
  ☆11Updated 6 years ago
• kmill / knotfolio
  A program for drawing knots and links, with support for importing images
  ☆31Updated last year
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆81Updated last year