Technically Exists

Googology

BTernaryTau's googological functions

Mu factorial

Other

Googology proofs