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
- "Evmorfia-Iro Bartzia"
- "Pierre-Yves Strub" pierre-yves@strub.nu
-
Notifications
You must be signed in to change notification settings - Fork 4
A Formal Library about Elliptic Curves for the Mathematical Components Library.
License
strub/elliptic-curves-ssr
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
A Formal Library about Elliptic Curves for the Mathematical Components Library.
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published