A Coq/SSReflect Library for Elliptic Curves

This library is based on SSReflect/MathComp Library version 1.5.

It can be installed from the unstable Coq opam repository:

http://coq-blog.clarus.me/use-opam-for-coq.html

Authors

• "Evmorfia-Iro Bartzia"
• "Pierre-Yves Strub" [email protected]