_CoqProject · 5b0c6378cbf42d0247fa5e437b405a5775fad513 · Yixuan Chen / Iris · GitLab

Snippets Groups Projects

Forked from Iris / Iris

7013 commits behind the upstream repository.

9 years ago
5b0c6378
Introduce cofeT -> cofeT functors, switch to bifunctors. · 5b0c6378
Robbert Krebbers authored 9 years ago
```
This cleans up some ad-hoc stuff and prepares for a generalization
of saved propositions.
```
5b0c6378

History
Introduce cofeT -> cofeT functors, switch to bifunctors.
Robbert Krebbers authored 9 years ago
```
This cleans up some ad-hoc stuff and prepares for a generalization
of saved propositions.
```

_CoqProject 1.74 KiB