Massively Collaborative Research
The Busy Beaver Challenge
Infos
| Handle | @vigoux@cosearch.bbchallenge.org |
| Display Name | Thomas Vigouroux |
| Discord Display Name | Vigoux |
| GitHub | https://github.com/vigoux |
| Wiki contributions | https://wiki.bbchallenge.org/wiki/Special:Contributions/Vigoux |
| Personal website | https://sr.ht/~vigoux/busybeaver/ |
Formal verification of TNF enumeration
Dependencies:
Lean formalisation of Busy beavers