diff options
author | Andres Erbsen <andreser@mit.edu> | 2017-03-29 00:27:15 -0400 |
---|---|---|
committer | Andres Erbsen <andreser@mit.edu> | 2017-03-31 10:36:51 -0400 |
commit | e97200ea903c57574026c6b6d0be73ad0bfed991 (patch) | |
tree | 862f46df6f671d912ab6c62a695f241146b35c69 /src/Util/Tactics.v | |
parent | 686fcbced2b0fb0b35fa6ad5aa71dd6924aee459 (diff) |
use improved fsatz on various elliptic curve things
partial correctness of projective addition
stronger projective addition proof
fixup
Diffstat (limited to 'src/Util/Tactics.v')
0 files changed, 0 insertions, 0 deletions