Forked from
Iris / lambda-rust
1077 commits behind the upstream repository.
README.md 712 B
LAMBDA-RUST COQ DEVELOPMENT
This is the Coq formalization of lambda-Rust.
Prerequisites
This version is known to compile with:
- Coq 8.5pl3
- Ssreflect 1.6
- A development version of Iris
The easiest way to install the correct versions of the dependencies is through
opam. Once you got opam set up, just run make build-dep to install the right
versions of the dependencies. When the dependencies change (e.g., a newer
version of Iris is needed), just run make build-dep again.
Alternatively, you can manually determine the required Iris commit by consulting
the opam.pins file.
Building Instructions
Run make to build the full development.