Section: New Results
A formal proof of the irrationality
of
We have obtained a formal proof, machine-checked by the Coq
proof assistant, of the irrationality of the constant
We have obtained a formal proof, machine-checked by the Coq
proof assistant, of the irrationality of the constant