package coq-riscv
RISC-V Specification in Coq, somewhat experimental
Install
Dune Dependency
Authors
Maintainers
Sources
v0.0.6.tar.gz
sha512=72516ea986d1e77822543c7ac720f2c5c8e998425bc25043d6357b0133306369f69086347e2dad776df3f7583a6e97595a2c9720ea22c1d07b3175c68f9d2dcf
Description
Dependencies (3)
-
coq-record-update
>= "0.3.0" -
coq-coqutil
>= "0.0.7" -
coq
>= "8.18~"
Dev Dependencies
None
Used by (1)
-
coq-bedrock2-compiler
>= "0.0.9"
Conflicts
None
On This Page