/elliptic-curves-ssr

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

Primary LanguageCoqOtherNOASSERTION

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