CoSearch
Massively Collaborative Research
bbchallenge logo
The Busy Beaver Challenge

Lean formalisation of Busy beavers

Jul 2024 · Thomas Vigouroux
Formal verification of TNF enumeration