67.
I am happy to share that I have finally finished the big project of properly formalizing all the claims in Andrze…
I am happy to share that I have finally finished the big project of properly formalizing all the claims in Andrzej Odrzywołek’s paper on the EML(x, y) = exp(y) - log(y) function in Lean 4. The project took me about two weeks of work, and I