CoSearch
Massively Collaborative Research
bbchallenge logo
The Busy Beaver Challenge
Result Reproduction
Decider
Formal Verification
Coq
Individual Machine
Meta
Champion
Write-up
Verifier
Project
Reverse engineering
Cryptid
bb3x3
Lean
bb6
Work In Progress
bb2x4
bb5