CoSearch

Massively Collaborative Research

The Busy Beaver Challenge

bbchallenge.org

Halting Segment (HS)

Jul 2022 · Iijil

Decider

Reproduction of Halting Segment

Nov 2023 · Jason Yuen

Dependencies:

HS

Result Reproduction Decider

View Reviews (0) Children (0)

Write-up of Halting Segment

Dec 2022 · Tristan Stérin

Dependencies:

HS

Write-up

View Reviews (0) Children (0)

Reproduction of Halting Segment

Nov 2022 · Tristan Stérin

Dependencies:

HS

Result Reproduction Decider

View Reviews (0) Children (0)

Reproduction of Halting Segment

Oct 2022 · Tony Guilfoyle

Dependencies:

HS

Result Reproduction Decider

View Reviews (0) Children (0)

Dafny verification of Halting Segment

Sep 2022 · Nathan Fenner

Dependencies:

HS

Result Reproduction Decider Formal Verification

View Reviews (0) Children (0)

Reproduction of Halting Segment and forward implem

Aug 2022 · Mateon1

Dependencies:

HS

Result Reproduction Decider

View Reviews (0) Children (0)