1 citations · 1 across the 1 of their papers we have counts for
1 paper
Laurent Théry, Sophia Antipolis
This note presents a formalisation done in Coq of Lucas-Lehmer test and Pocklington certificate for prime numbers. They both are direct consequences of Fermat little theorem. Ferma…