CoSearch

Massively Collaborative Research

The Busy Beaver Challenge

bbchallenge.org

n-GRAM Closed Position Set

Feb 2023 · Nathan Fenner

Dependencies:

savask's CPS

Decider

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)

Coq-BB5 - Reproduction and improvements on NGramCPS

Apr 2024 · mxdys

Dependencies:

n-GRAM CPS

,

Coq-BB5

Result Reproduction Decider Formal Verification Coq

View Reviews (0) Children (0)