Skip to content
Snippets Groups Projects
Commit 58a14ab9 authored by Robbert Krebbers's avatar Robbert Krebbers
Browse files

Add `si_logic` folder to README.

parent 2fb99766
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 2 additions and 0 deletions
README.md
+ 2
− 0
View file @ 58a14ab9
...@@ -98,6 +98,8 @@ followed by `make build-dep`. ...@@ -98,6 +98,8 @@ followed by `make build-dep`.
* The folder [tests](theories/tests) contains modules we use to test our * The folder [tests](theories/tests) contains modules we use to test our
infrastructure. Users of the Iris Coq library should *not* depend on these infrastructure. Users of the Iris Coq library should *not* depend on these
modules; they may change or disappear without any notice. modules; they may change or disappear without any notice.
* The folder [si_logic](theories/si_logic) defines a "plain" step-indexed logic
and shows that it is an instance of the BI interface.
## Case Studies ## Case Studies
......
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