LICENSE · f6078a30f22f4f20d3fd069e7e10da79f07bfd66 · Michael Sammler / iris-coq · GitLab

Snippets Groups Projects

Forked from Iris / Iris

6168 commits behind the upstream repository.

9 years ago
2c1c1ab8
copy the first half of the Iris appendix into the repository, so that we can... · 2c1c1ab8
Ralf Jung authored 9 years ago
```
copy the first half of the Iris appendix into the repository, so that we can keep the documentation in sync
```
2c1c1ab8

History
copy the first half of the Iris appendix into the repository, so that we can...
Ralf Jung authored 9 years ago
```
copy the first half of the Iris appendix into the repository, so that we can keep the documentation in sync
```

This project is licensed under the Creative Commons Attribution 4.0 International. Learn more

LICENSE 1.65 KiB