package rocq-linux-process-semantics
A Rocq model of a Linux process that runs a RISC-V binary (all packages)
Install
Dune Dependency
Authors
Maintainers
Sources
v0.0.1.tar.gz
sha512=0a65fb0f09273fa642f33a87e978b5ddb8748013f34edd45c67a9f33b8d1c2313d9d15ee019332f378c43fe79eff47a2343fec87f9a441e770bd1f7737c01c0b
Description
Installs rocq-linux-process-semantics-core (the model and the statements), rocq-linux-process-semantics-common (the proof library) and rocq-linux-process-semantics-examples (the example proofs).
Published: 24 Oct 2026
Dependencies (3)
-
rocq-linux-process-semantics-examples
= version -
rocq-linux-process-semantics-common
= version -
rocq-linux-process-semantics-core
= version
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page