The web pages of Pascal MICHELIncluding : Busy Beaver competition, Publications in Logic and Theoretical Computer Science.
Last update: May 2023
See also the Google group on Busy Beavers
Shawn Ligocki and Pavel Kropitz have found new champions
Click here to send email
Link to home page of the Équipe de Logique Mathématique