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