CoSearch

Massively Collaborative Research

The Busy Beaver Challenge

bbchallenge.org

Skelet #17 does not halt

Feb 2024 · Chris Xu

Dependencies:

Skelet's 43 holdouts

Individual Machine Write-up

Coq-BB5 - Skelet #17 doesn't halt, Coq proof

May 2024 · mxdys

Dependencies:

Skelet #17 does not halt

,

Coq-BB5

Formal Verification Coq Individual Machine

View Reviews (0) Children (0)

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)