User:Vigoux: Difference between revisions
Jump to navigation
Jump to search
(Initial setup of my user page.) |
(No difference)
|
Latest revision as of 11:55, 19 August 2024
I work on a mechanical formalisation of the Busybeaver problem using the Lean theorem prover.