CoSearch
Massively Collaborative Research
The Busy Beaver Challenge
bbchallenge.org
Tags (18)
Lean
Lean
Tagged Contributions (2)
Formal verification of TNF enumeration
Aug 2024
·
Thomas Vigouroux
Dependencies:
Lean Busy beavers
Formal Verification
Lean
View
Reviews (0)
Children (0)
Lean formalisation of Busy beavers
Jul 2024
·
Thomas Vigouroux
Formal Verification
Lean
View
Reviews (0)
Children (0)