Commit 3b1fcdab authored by Ralf Jung's avatar Ralf Jung
Browse files

update README

parent 556be055
Pipeline #5904 passed with stages
in 9 minutes and 35 seconds
......@@ -28,12 +28,12 @@ After doing `git pull`, the development may fail to compile because of outdated
dependencies. To fix that, please run `opam update` followed by
`make build-dep`.
## Building Instructions
## Building
Run `make -jN` to build the full development, where `N` is the number of your
CPU cores.
## Structure
## Directory Structure
* The folder [algebra](theories/algebra) contains the COFE and CMRA
constructions as well as the solver for recursive domain equations.
Supports Markdown
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