LICENSE · double_negation · Joseph Tassarotti / iris-coq-public · GitLab

Jan 31, 2016
2c1c1ab8
copy the first half of the Iris appendix into the repository, so that we can... · 2c1c1ab8
Ralf Jung authored Jan 31, 2016
```
copy the first half of the Iris appendix into the repository, so that we can keep the documentation in sync
```
2c1c1ab8
copy the first half of the Iris appendix into the repository, so that we can...
Ralf Jung authored Jan 31, 2016
```
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 BSD 3-Clause "New" or "Revised" License. Learn more