https://wiki.bbchallenge.org/w/api.php?action=feedcontributions&feedformat=atom&user=Vigoux 2026-05-02T12:46:50Z User contributions MediaWiki 1.43.5 https://wiki.bbchallenge.org/w/index.php?title=User:Vigoux&diff=759 2024-08-19T11:55:14Z

<p>Vigoux: Initial setup of my user page.</p> <hr /> <div>I work on a [https://sr.ht/~vigoux/busybeaver/ mechanical formalisation] of the Busybeaver problem using the [https://lean-lang.org/ Lean theorem prover].</div>

Vigoux