diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-06-20 23:04:06 -0400 |
|---|---|---|
| committer |  Jason Gross <jasongross9@gmail.com> | 2017-06-21 03:13:05 -0400 |
| commit | edef48b5c4b080d4273f0b228d58b7f29630d1f9 (patch) | |
| tree | bd1520b69c6f744ca20e5e85937d2fe304072f3e /src/Util/CPSUtil.v | |
| parent | e4a6944a8bfb7da31b9bff4871f8e06bd1a66c4c (diff) | |
Prove some admitted lemmas about uweight
Not sure if locally adding hypotheses is the best way to do it.
Diffstat (limited to 'src/Util/CPSUtil.v')
0 files changed, 0 insertions, 0 deletions