strub / elliptic-curves-ssr

A Formal Library about Elliptic Curves for the Mathematical Components Library.

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" [e-mail]