diff options
| author |  jadep <jade.philipoom@gmail.com> | 2017-02-13 15:44:54 -0500 |
|---|---|---|
| committer |  Andres Erbsen <andreser@mit.edu> | 2017-02-22 21:45:56 -0500 |
| commit | 8c78ad4ac6d4812fbb9f2b8e26529683e2527989 (patch) | |
| tree | b7a4a289dad2999f9c3b9c94e132eb06b89f34ef /src/Util/WordUtil.v | |
| parent | febcf9b98a4cd668e4f5d390d9ce1ae1fa30055b (diff) | |
move some lemmas from Ed25519 to ZUtil
Diffstat (limited to 'src/Util/WordUtil.v')
0 files changed, 0 insertions, 0 deletions