theories/coPset.v · f7382c32b1a0b06f7345d6b0c6eaa8a844715854 · Gregory Malecha / stdpp · GitLab

Snippets Groups Projects

Forked from Iris / stdpp

Source project has a limited visibility.

5 years ago
f7382c32
Opaquify proofs in gmap_partial_alter (fix #46) · f7382c32
Paolo G. Giarrusso authored 5 years ago and Robbert Krebbers committed 5 years ago
```
- Ensure gmap well-formedness proofs are fully opaque.
- Use pattern-matching lambdas over lets.
```
f7382c32

History
Opaquify proofs in gmap_partial_alter (fix #46)
Paolo G. Giarrusso authored 5 years ago and Robbert Krebbers committed 5 years ago
```
- Ensure gmap well-formedness proofs are fully opaque.
- Use pattern-matching lambdas over lets.
```