diff options
| author |  Jason Gross <jgross@mit.edu> | 2018-03-10 20:36:25 -0500 |
|---|---|---|
| committer |  Jason Gross <jasongross9@gmail.com> | 2018-03-12 13:15:41 -0400 |
| commit | 768dc8d4524b0e48b54fd56876312032e626484a (patch) | |
| tree | cabf51c725d422418d529948791c5c1a8edb1ddc /src/Specific/solinas32_2e468m17_18limbs/fecarry.v | |
| parent | 724b89061110f742d9faa00dfb5d849b2f85c6a6 (diff) | |
subsetoid_ring: don't ask for false things
We can't actually prove the previous okness lemmas in
SimplyTypedArithmetic, so we instead ask for exactly what we need.
Diffstat (limited to 'src/Specific/solinas32_2e468m17_18limbs/fecarry.v')
0 files changed, 0 insertions, 0 deletions