Massively Collaborative Research
The Busy Beaver Challenge
Infos
| Handle | @yforster@cosearch.bbchallenge.org |
| Display Name | Yannick Forster |
| Discord Display Name | yforster |
| GitHub | https://github.com/yforster |
| Personal website | https://yforster.de/ |
Coq-BB5
Dependencies: