Commit fc1fa163 authored by Ralf Jung's avatar Ralf Jung

also link to HeapLang.md

parent 9aaafd7c
Pipeline #14717 passed with stage
in 2 minutes and 53 seconds
......@@ -38,9 +38,12 @@ work on exercise 4 and 5.
## Documentation
The file
[`ProofMode.md`](https://gitlab.mpi-sws.org/iris/iris/blob/master/ProofMode.md)
in the Iris repository contains a list of the Iris Proof Mode tactics.
The files [`ProofMode.md`] and [`HeapLang.md`] in the Iris repository contain a
list of the Iris Proof Mode tactics as well as the specialized tactics for
reasoning about HeapLang programs.
[`ProofMode.md`]: https://gitlab.mpi-sws.org/iris/iris/blob/master/ProofMode.md
[`HeapLang.md`]: https://gitlab.mpi-sws.org/iris/iris/blob/master/HeapLang.md
If you would like to know more about Iris, we recommend to take a look at:
......
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