Commit 2b218d3c authored by Robbert Krebbers's avatar Robbert Krebbers
Browse files

Readme tweak.

parent c627c638
...@@ -96,7 +96,6 @@ If you would like to know more about Iris, we recommend to take a look at: ...@@ -96,7 +96,6 @@ If you would like to know more about Iris, we recommend to take a look at:
Lecture Notes on Iris: Higher-Order Concurrent Separation Logic Lecture Notes on Iris: Higher-Order Concurrent Separation Logic
Lars Birkedal and Aleš Bizjak Lars Birkedal and Aleš Bizjak
Used for an MSc course on concurrent separation logic at Aarhus University Used for an MSc course on concurrent separation logic at Aarhus University
- https://www.mpi-sws.org/~dreyer/papers/iris-ground-up/paper.pdf - https://www.mpi-sws.org/~dreyer/papers/iris-ground-up/paper.pdf
Iris from the Ground Up: A Modular Foundation for Higher-Order Concurrent Iris from the Ground Up: A Modular Foundation for Higher-Order Concurrent
Separation Logic Separation Logic
......
Markdown is supported
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