diff options
| author |  jadep <jade.philipoom@gmail.com> | 2016-07-21 11:24:37 -0400 |
|---|---|---|
| committer | jadep <jade.philipoom@gmail.com> | 2016-07-21 11:24:37 -0400 |
| commit | 06d5397b39593430066928b70425dc09bb147930 (patch) | |
| tree | 4a9ba47d98ac56f0204e9cf3b115524e44f91dc2 /src/ModularArithmetic/Pow2BaseProofs.v | |
| parent | e5ff8aac93faf465510bb4eb143db714e9c80813 (diff) | |
| parent | 918d8707fac5c087565972c93ce2c9c79d4f7b61 (diff) | |
Merge branch 'master' of github.com:mit-plv/fiat-crypto
Diffstat (limited to 'src/ModularArithmetic/Pow2BaseProofs.v')
0 files changed, 0 insertions, 0 deletions