"A Formal Library for Elliptic Curves in the Coq Proof Assistant."

Evmorfia-Iro Bartzia, Pierre-Yves Strub (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics