aboutsummaryrefslogtreecommitdiff
path: root/src/ModularArithmetic
ModeNameSize
d---------BarrettReduction150logplain
-rw-r--r--ExtPow2BaseMulProofs.v1424logplain
-rw-r--r--ExtendedBaseVector.v8415logplain
-rw-r--r--ModularArithmeticTheorems.v12611logplain
-rw-r--r--ModularBaseSystem.v4976logplain
-rw-r--r--ModularBaseSystemList.v4030logplain
-rw-r--r--ModularBaseSystemListProofs.v20367logplain
-rw-r--r--ModularBaseSystemOpt.v36807logplain
-rw-r--r--ModularBaseSystemProofs.v40384logplain
d---------Montgomery106logplain
-rw-r--r--Pow2Base.v2868logplain
-rw-r--r--Pow2BaseProofs.v79047logplain
-rw-r--r--Pre.v4870logplain
-rw-r--r--PrimeFieldTheorems.v10719logplain
-rw-r--r--PseudoMersenneBaseParamProofs.v3480logplain
-rw-r--r--PseudoMersenneBaseParams.v900logplain
-rw-r--r--Tutorial.v6175logplain
-rw-r--r--ZBounded.v9403logplain