Massively Collaborative Research
bbchallenge logo
The Busy Beaver Challenge
Lean
Tagged Contributions (2)
Formal verification of TNF enumeration
Lean formalisation of Busy beavers