diff options
author | jadep <jade.philipoom@gmail.com> | 2017-04-19 09:16:34 -0400 |
---|---|---|
committer | jadephilipoom <jade.philipoom@gmail.com> | 2017-05-01 14:34:48 -0400 |
commit | 232702b35096cd00b4843c9b283b36dccab18961 (patch) | |
tree | 72b659e64bf62f90fd13932cbf74abd72c45fa81 /src/Util/Tuple.v | |
parent | a81bce39bf121c41f559a90710892b4e43930f5e (diff) |
prove compact_digit obeys div/mod rule
Diffstat (limited to 'src/Util/Tuple.v')
0 files changed, 0 insertions, 0 deletions