Login / Signup
A Formal Proof of the Irrationality of ζ(3).
Assia Mahboubi
Thomas Sibut-Pinote
Published in:
Log. Methods Comput. Sci. (2021)
Keyphrases
</>
formal proof
theorem prover
knowledge base