Commit 9aaafd7c authored by Ralf Jung's avatar Ralf Jung

link to latest version of ProofMode.md

parent 51418462
Pipeline #14711 passed with stage
in 8 minutes and 44 seconds
This diff is collapsed.
......@@ -38,8 +38,9 @@ work on exercise 4 and 5.
## Documentation
The file `ProofMode.md` in the tutorial material (which can also be found in the
root of the Iris repository) contains a list of the Iris Proof Mode tactics.
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.
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