diff options
| author |  jadep <jadep@mit.edu> | 2019-03-14 14:53:38 -0400 |
|---|---|---|
| committer |  jadephilipoom <jade.philipoom@gmail.com> | 2019-04-03 23:34:53 +0100 |
| commit | 9c5a967ababd80425fe3b09f17f502ed5f0d6a11 (patch) | |
| tree | b5d491f6406311b0aa3af229015d02d9fc39e384 /src/PushButtonSynthesis/BarrettReduction.v | |
| parent | 71820cce3ba80acf0a09d7506c49ba2dd6e32d95 (diff) | |
update _CoqProject, fix indentations, and prune dependencies of new Arithmetic files
Diffstat (limited to 'src/PushButtonSynthesis/BarrettReduction.v')
0 files changed, 0 insertions, 0 deletions