diff options
| author |  Jason Gross <jagro@google.com> | 2018-07-26 21:47:01 -0400 |
|---|---|---|
| committer | Jason Gross <jagro@google.com> | 2018-07-27 18:19:54 -0400 |
| commit | 72f95797120adf1f6447a37c8ec205092401437d (patch) | |
| tree | 89b918ee11150f6cf9306c44fccfebf0bbcf1a66 /_CoqProject | |
| parent | 324ddaaf4c9d56199096fc1857376109845d8552 (diff) | |
Add wf and interp proofs for LetBindReturn
After | File Name | Before || Change | % Change
----------------------------------------------------------------------------------
0m17.96s | Total | 0m00.90s || +0m17.07s | +1896.66%
----------------------------------------------------------------------------------
0m17.97s | Experiments/NewPipeline/UnderLetsWf | 0m00.90s || +0m17.07s | +1896.66%
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions