User blog comment:GamesFan2000/Alternate Ackermann Function/@comment-35470197-20181226035430/@comment-35470197-20181226070346

I have no plan to post my new functions or numbers now, but I am trying to create a strong function using Goedel numbers of formal proofs (similar to my strongest functions).

Also, I am working on an "axiomatic estimation" of array notations here, which gives an automatic upperbound of various notations with arrays.