CoSearch
Massively Collaborative Research
The Busy Beaver Challenge
bbchallenge.org
Contributions (75)
Formal verification of TNF enumeration
Formal verification of TNF enumeration
Aug 2024
·
Thomas Vigouroux
Dependencies:
Lean Busy beavers
Lean
Formal Verification
Details
Reviews
0
Children
0
Edit
Featured Links
Github
https://git.sr.ht/~vigoux/busybeaver/tree/master/item/Busybeaver/Problem.lean