Massively Collaborative Research
bbchallenge logo
The Busy Beaver Challenge

Correctness of bbchallenge's deciders

May 2022 · Tristan Stérin
Write-up of Finite Automata Reduction
Write-up of Backward Reasoning
Write-up of Translated Cyclers
Write-up of Cyclers