CoSearch
Massively Collaborative Research
The Busy Beaver Challenge
bbchallenge.org
Contributions (75)
Correctness of bbchallenge's deciders
Correctness of bbchallenge's deciders
May 2022
·
Tristan Stérin
Write-up
Project
Details
Reviews
0
Children
4
Write-up of Finite Automata Reduction
Apr 2023
·
Justin Blanchard
,
Tristan Stérin
Dependencies:
Write-up
,
FAR
Write-up
View
Reviews (3)
Children (0)
Write-up of Backward Reasoning
May 2022
·
Tristan Stérin
Dependencies:
Write-up
,
BR
Write-up
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)
Write-up of Cyclers
May 2022
·
Tristan Stérin
Dependencies:
Write-up
,
Cyclers
Write-up
View
Reviews (0)
Children (0)