tutorial/proofs/t03_list/generated_code.v · 3f148a41617cb98b449665e6b963dea2e99a89f9 · Iris / RefinedC · GitLab

Find file Blame History Permalink

Constrained encoded with own_constrained + wand type for values. · 3f148a41
Rodolphe Lepigre authored Jan 14, 2021
```
Co-authored-by: Michael Sammler <msammler@mpi-sws.org>
```
3f148a41