diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2023-02-12 21:14:33 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2023-02-12 21:14:33 +0000 |
| commit | 7ba7eed58327507583fb34bc3f58f8e17e4975b4 (patch) | |
| tree | b99fff547d1def2f6fb796f2f70c0631d9695588 /src/HLSOpts.v | |
| parent | 5ac129169e5613eee1c9ee1e69ba34eb6ee69ee7 (diff) | |
| download | vericert-7ba7eed58327507583fb34bc3f58f8e17e4975b4.tar.gz vericert-7ba7eed58327507583fb34bc3f58f8e17e4975b4.zip | |
Prove abstr_fold_correct inductive case fully
Diffstat (limited to 'src/HLSOpts.v')
0 files changed, 0 insertions, 0 deletions