Massively Collaborative Research
The Busy Beaver Challenge
Featured Links
| Github | https://sr.ht/~vigoux/busybeaver/ |
| Current TODOs | https://todo.sr.ht/~vigoux/busybeaver |
Description
A lean formalisation of results about Busy Beavers. The goal is to leverage the capabitlies of the lean programming language to have the deciders and their proofs of correctness in the same place.