tests/proofmode.v · f6247dfd1cb714dc1aadaf329f4fab665ff91b52 · Gaëtan Gilbert / Iris · GitLab

Snippets Groups Projects

Forked from Iris / Iris

Source project has a limited visibility.

5 years ago
23ad2f43
Merge branch 'robbert/from_forall_tc_opaque' into 'master' · 23ad2f43
Robbert Krebbers authored 5 years ago
```
Missing `tc_opaque` instance for `FromForall`.

See merge request iris/iris!357
```
23ad2f43

History
Merge branch 'robbert/from_forall_tc_opaque' into 'master'
Robbert Krebbers authored 5 years ago
```
Missing `tc_opaque` instance for `FromForall`.

See merge request iris/iris!357
```