diff options
| author |  Jason Gross <jgross@mit.edu> | 2018-11-15 18:20:04 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2018-11-15 18:20:04 -0500 |
| commit | d18cf0ce568830886a30838a770fbba7b83fbb8f (patch) | |
| tree | cc3ba114a8b1380caec8c64271bcdccfff446f81 /_CoqProject | |
| parent | 043c530ffec38d5c54271d58c484452bd9dd469d (diff) | |
Add some lemmas about wf value interp related
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions