User:Vigoux

From BusyBeaverWiki

Jump to navigation Jump to search

I work on a mechanical formalisation of the Busybeaver problem using the Lean theorem prover.

Retrieved from "https://wiki.bbchallenge.org/w/index.php?title=User:Vigoux&oldid=759"