45 citations · 56 across the 9 of their papers we have counts for
1 paper · 1 filter
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…