User:Azerty

I am an amateur interested in computability theory, large numbers and BB functions.

My web pages:

• Turing machines simulator
• List of lower bounds and champions

My GitHub repositories:

• Ordinal notations
• Search BB champions script

My wiki user pages:

• List of lower bounds and champions
• List of Turing-complete systems
• Champions Zoology