Massively Collaborative Research
The Busy Beaver Challenge
Reproduction, optimization, formal verification of savask's bouncers
Dependencies:
Write-up of Bouncers
Dependencies:
Reproduction of savask's and mei's bouncers
Dependencies: