CoSearch

Massively Collaborative Research

The Busy Beaver Challenge

bbchallenge.org

Translated Cyclers (TCs)

Mar 2022 · Tristan Stérin

Decider

Coq verification of Translated Cyclers

Jul 2023 · mei

Dependencies:

busycoq

,

TCs

Result Reproduction Decider Formal Verification Coq

View Reviews (0) Children (0)

Reproduction of Translated Cyclers

Sep 2022 · Tony Guilfoyle

Dependencies:

TCs

Result Reproduction Decider Verifier

View Reviews (0) Children (0)

Write-up of Translated Cyclers

May 2022 · Tristan Stérin

Dependencies:

Write-up

,

TCs

Write-up

View Reviews (0) Children (0)