aboutsummaryrefslogtreecommitdiff
path: root/src/ModularArithmetic/Pre.v
Commit message (Expand)AuthorAge
* Make the library 20% faster: [auto with *] is evilGravatar Jason Gross2016-07-22
* automate a proofGravatar Andres Erbsen2016-07-20
* compute on [F q]!Gravatar Andres Erbsen2016-07-20
* 8.5 fixesGravatar Jason Gross2016-06-10
* Finish absolutizing importsGravatar Jason Gross2016-03-10
* efficient powmodGravatar Andres Erbsen2016-02-17
* prove existance of F inv, implement pow -- CompleteEdwardsCurve.unifiedAdd Cl...Gravatar Andres Erbsen2016-02-13
* implement F_oppGravatar Andres Erbsen2016-02-12
* fresh take at specifications using implicit arguments instead of module param...Gravatar Andres Erbsen2016-02-07
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-19 02:14:35 +0000