Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
Iris
Iris
Commits
be019f76
Commit
be019f76
authored
Oct 27, 2016
by
Ralf Jung
Browse files
Merge branch 'master' of gitlab.mpi-sws.org:FP/iris-coq
parents
2a589ada
6b9eb87e
Pipeline
#2909
passed with stage
in 9 minutes and 25 seconds
Changes
1
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
README.md
View file @
be019f76
...
...
@@ -29,7 +29,7 @@ running:
## Structure
*
The folder
[
prelude
](
prelude
)
contains an extended "Standard Library" by
Robbert Krebbers
<
http://robbertkrebbers.nl/thesis.html
>
.
[
Robbert Krebbers
](
http://robbertkrebbers.nl/thesis.html
)
.
*
The folder
[
algebra
](
algebra
)
contains the COFE and CMRA constructions as well
as the solver for recursive domain equations.
*
The folder
[
base_logic
](
base_logic
)
defines the Iris base logic and the
...
...
@@ -56,4 +56,4 @@ running:
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
document is
[
http://plv.mpi-sws.org/iris/appendix-3.0.pdf
](
available
online
).
document is
[
available online
](
http://plv.mpi-sws.org/iris/appendix-3.0.pdf
)
.
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment