CoSearch

Massively Collaborative Research

The Busy Beaver Challenge

bbchallenge.org

Backward Reasoning (BR)

Mar 2022 · Tristan Stérin ,Milo Mighdoll ,atticuscull ,Tony Guilfoyle ,Shawn Ligocki

Decider

Reproduction of Backward Reasoning

Nov 2023 · Jason Yuen

Dependencies:

BR

Result Reproduction Decider

View Reviews (0) Children (0)

Coq verification of Backward Reasoning

Aug 2023 · mei

Dependencies:

busycoq

,

BR

Result Reproduction Decider Coq

View Reviews (0) Children (0)

Reproduction and debugging of Backward Reasoning

Sep 2022 · Tony Guilfoyle

Dependencies:

BR

Result Reproduction Decider

View Reviews (0) Children (0)

Write-up of Backward Reasoning

May 2022 · Tristan Stérin

Dependencies:

Write-up

,

BR

Write-up

View Reviews (0) Children (0)