Fascinating extension of the math we all know. Thank you, Swastik.

As a Resource Function atleast, very soon :)

Thank you Sander! Hoping to do so in the recent future. Don't worry, we'll get rid of the overflow problem in Mathematica pretty soon! :-)

Hi Swastik, I like this package. I was wondering whether it could work with solvers in WL.

For instance, this fails:

Solve[LevelIndexArithmetic[2^(2^x) == 16^(16^16)],x]
(*
Solve::ifun: Inverse functions are being used by Solve, so some solutions may not be found; use Reduce for complete solution information.

{}
*)

But I can make it succeed like this:

With[{eq = LevelIndexArithmetic[2^(2^x) == 16^(16^16)]},
 Block[{LIO},
  First@SolveValues[eq,x]
 ]] // FromLIO
(*
SolveValues::ifun: Inverse functions are being used by SolveValues, so some solutions may not be found; use Reduce for complete solution information.

66.   <-- correct! :)
*)

Apparently LIO[] does something inside Solve[] that trips it up.

I realize your post is 6 years old, so if it's not easy & convenient for you fix, don't worry about it.