Commit 4f14c6cd authored by Ralf Jung's avatar Ralf Jung
Browse files


parent 4d63df9b
Pipeline #10989 passed with stage
in 20 minutes and 58 seconds
This is the Coq development of the [Iris Project](
This is the Coq development of the [Iris Project](,
which includes the [MoSeL proof mode](
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
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