Skip to content
Snippets Groups Projects
Commit 19dced59 authored by Ralf Jung's avatar Ralf Jung
Browse files

add examples section

parent ed9b3eef
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 11 additions and 1 deletion
README.md
+ 11
− 1
View file @ 19dced59
...@@ -66,7 +66,17 @@ CPU cores. ...@@ -66,7 +66,17 @@ CPU cores.
A LaTeX version of the core logic definitions and some derived forms is A LaTeX version of the core logic definitions and some derived forms is
available in [docs/iris.tex](docs/iris.tex). A compiled PDF version of this available in [docs/iris.tex](docs/iris.tex). A compiled PDF version of this
document is [available online](http://plv.mpi-sws.org/iris/appendix-3.0.pdf). document is [available online](http://plv.mpi-sws.org/iris/appendix-3.1.pdf).
## Examples
The following is a (probably incomplete) list of case studies that use Iris, and
that should be compatible with this version:
* [Iris Examples](https://gitlab.mpi-sws.org/FP/iris-examples) is where we
collect miscellaneous case studies that do not have their own repository.
* [LambdaRust](https://gitlab.mpi-sws.org/FP/LambdaRust-coq/) is a Coq
formalization of the core Rust type system.
## For Developers: How to update the std++ dependency ## For Developers: How to update the std++ dependency
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment