LICENSE · master · Amin Timany / coq-stdpp · GitLab

Jul 10, 2020
d6ab6561
LICENSE: Clarify which BSD license is being used · d6ab6561
Paolo G. Giarrusso authored Jul 10, 2020
```
Sister MR to iris/iris!472.
```
d6ab6561
LICENSE: Clarify which BSD license is being used
Paolo G. Giarrusso authored Jul 10, 2020
```
Sister MR to iris/iris!472.
```

This project is licensed under the BSD 3-Clause "New" or "Revised" License. Learn more