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
This contribution has no children yet.