aboutsummaryrefslogtreecommitdiff
path: root/src/ModularArithmetic/BarrettReduction/ZGeneralized.v
Commit message (Expand)AuthorAge
* Add a generalized version of Barrett Reduction (#44)Gravatar Jason Gross2016-08-04