diff options
author | jadep <jade.philipoom@gmail.com> | 2018-09-17 13:47:00 -0400 |
---|---|---|
committer | Jason Gross <jasongross9@gmail.com> | 2018-12-21 10:22:41 -0500 |
commit | 7946cb056f3ac981c1e1c4a04529a0ae3a8e0294 (patch) | |
tree | 4b650a24ecf2cff2405e3fb5ab100479612daff6 /src/Specific/solinas64_2e338m15_6limbs/fesquare.c | |
parent | a58a68cf5bb4d634683b091a8e35b5829a2e90bd (diff) |
modify a proof because in 8.7 [auto] doesn't solve the goal
Diffstat (limited to 'src/Specific/solinas64_2e338m15_6limbs/fesquare.c')
0 files changed, 0 insertions, 0 deletions