There are 0 repository under googology topic.
veblen function in agda
formalized googology in agda
Python implementations of a variety of extremely fast-growing functions
A high-precision and high-performance large number system capable of handling numbers up to 10^^(1e50) and beyond with customization
A website for converting between the 9 notations found in alemaninc's games
Generate the name of a zillion using Bowers' -illion system.
A Googology system employs the use of factorial-like notation
Analyze googological notations by their tree structures.