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