Massively Collaborative Research
The Busy Beaver Challenge
Infos
| Handle | @Theo_Zimmermann@cosearch.bbchallenge.org |
| Display Name | Théo Zimmermann |
| Discord Display Name | Théo Zimmermann |
| GitHub | https://github.com/Zimmi48 |
| Personal website | https://www.theozimmermann.net/en/ |
Coq-BB5
Dependencies: