Massively Collaborative Research
The Busy Beaver Challenge
Infos
| Handle | @mei@cosearch.bbchallenge.org |
| Discord Display Name | mei |
| GitHub | https://github.com/meithecatte/ |
| Wiki contributions | https://wiki.bbchallenge.org/wiki/Special:Contributions/Mei |
| Discourse profile | https://discuss.bbchallenge.org/u/meithecatte/summary |
Write-up of Bouncers
Dependencies:
Skelet #26 and #15 don't halt
Skelet #33 doesn't halt
Reproduction, optimization, formal verification of savask's bouncers
Dependencies:
Coq verification of Backward Reasoning
Skelet #1 is a translated cycler – Coq agrees
Dependencies:
Coq verification of Translated Cyclers
Coq verification of Cyclers
busycoq