collaborators

1 paper

cs.LO2019

A Formal Proof of the Irrationality of

Assia Mahboubi, Thomas Sibut-Pinote

This paper presents a complete formal verification of a proof that the evaluation of the Riemann zeta function at 3 is irrational, using the Coq proof assistant. This result was fi…