CoSearch

Massively Collaborative Research

The Busy Beaver Challenge

bbchallenge.org

busycoq

Jul 2023 · mei

Decider Formal Verification Coq Project

Coq-BB5

Apr 2024 · mxdys

Dependencies:

,

,

Skelet #1 is a translated cycler – Coq agrees

,

,

,

Skelet #17 does not halt

Decider Formal Verification Coq Verifier Project

View Reviews (1) Children (0)

Reproduction, optimization, formal verification of savask's bouncers

Sep 2023 · mei

Dependencies:

,

savask's bouncers

Result Reproduction Decider Formal Verification Coq

View Reviews (0) Children (0)

Coq verification of Backward Reasoning

Aug 2023 · mei

Dependencies:

,

Result Reproduction Decider Coq

View Reviews (0) Children (0)

Skelet #1 is a translated cycler – Coq agrees

Aug 2023 · mei

Dependencies:

,

Skelet #1 is infinite ... we think

Formal Verification Coq Individual Machine

View Reviews (0) Children (0)

Coq verification of Translated Cyclers

Jul 2023 · mei

Dependencies:

,

Result Reproduction Decider Formal Verification Coq

View Reviews (0) Children (0)

Coq verification of Cyclers

Jul 2023 · mei

Dependencies:

,

Result Reproduction Decider Formal Verification Coq

View Reviews (0) Children (0)