diff options
| author |  Andres Erbsen <andreser@mit.edu> | 2017-02-06 18:25:59 -0500 |
|---|---|---|
| committer | Andres Erbsen <andreser@mit.edu> | 2017-03-02 13:37:14 -0500 |
| commit | 55de48a40d269bd900ce0af04449cb33ebb8577d (patch) | |
| tree | 4857924d17d8d767d7144b2f6a7462d5d639c307 /src/Spec/ModularArithmetic.v | |
| parent | d641525010b941607605b7e998b53ba6d99783e5 (diff) | |
use field_nsatz in CompleteEdwardsCurve.Pre
Diffstat (limited to 'src/Spec/ModularArithmetic.v')
0 files changed, 0 insertions, 0 deletions