A Coq/SSReflect Library for Elliptic Curves

February 6, 2015 ยท View on GitHub

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