CoSearch

Massively Collaborative Research

The Busy Beaver Challenge

bbchallenge.org

Verifier

Tagged Contributions (5)

Coq-BB5

Apr 2024 · mxdys

Dependencies:

busycoq

,

FAR

,

Skelet #1 is a translated cycler – Coq agrees

,

MITMWFAR

,

n-GRAM CPS

,

Skelet #17 does not halt

Decider Formal Verification Coq Verifier Project

View Reviews (1) Children (0)

Reproduction of FAR

Apr 2023 · Tristan Stérin

Dependencies:

FAR

Result Reproduction Decider Verifier

View Reviews (0) Children (0)

Reproduction of FAR

Jan 2023 · Tony Guilfoyle

Dependencies:

FAR

Result Reproduction Decider Verifier

View Reviews (0) Children (0)

Reproduction of Cyclers

Sep 2022 · Tony Guilfoyle

Dependencies:

Cyclers

Result Reproduction Decider Verifier

View Reviews (0) Children (0)

Reproduction of Translated Cyclers

Sep 2022 · Tony Guilfoyle

Dependencies:

TCs

Result Reproduction Decider Verifier

View Reviews (0) Children (0)