diff options
author | Jade Philipoom <jadep@mit.edu> | 2015-11-24 18:48:55 -0500 |
---|---|---|
committer | Jade Philipoom <jadep@mit.edu> | 2015-11-24 18:48:55 -0500 |
commit | e400e146f02bb65f198bc606fe4c3fa24e6804d5 (patch) | |
tree | 03b8bb4f86a1f6efc3ae9955b6a9859495919363 /src/Util/ListUtil.v | |
parent | b0d22421499ebb90ca80b436b67fbee9892e18d6 (diff) |
ModularBaseSystem: added definition to perform a specific sequence of carries and proved that it preserves GF representation.
Diffstat (limited to 'src/Util/ListUtil.v')
0 files changed, 0 insertions, 0 deletions