diff options
| author |  Jason Gross <jgross@mit.edu> | 2018-02-16 16:04:04 -0500 |
|---|---|---|
| committer |  Jason Gross <jasongross9@gmail.com> | 2018-02-18 19:25:23 -0500 |
| commit | 80ca8cf8825f87c2f5c8da0fc1cd63168f30054d (patch) | |
| tree | 8614c7be708fbfe6aaa164f5aad2c47e04194a17 /.travis.yml | |
| parent | aea2a134c95c55f7f5a6501efc48a3624cad6ca4 (diff) | |
Rename carry_mulmod_correct to eval_carry_mulmod to fit with other lemmas
Diffstat (limited to '.travis.yml')
0 files changed, 0 insertions, 0 deletions