package rocq-sims
A library of various strong and weak simulation relations
Install
Dune Dependency
Authors
Maintainers
Sources
rocq-sims-0.2.tar.gz
sha512=ed0b3a0e9a0f893ef8c70ccca2886679c5e3f28a16a9575a62baead6914a6082f8f74a10257a17457359dcbdac4f52270ad88bfd2d464180c74c358e421d99d6
Description
Tags
category:Computer Science/Semantics and Compilation/Semantics category:Computer Science/Semantics and Compilation/Compilation keyword:simulation keyword:coinduction up-to logpath:SimsPublished: 27 Nov 2025
Dependencies (5)
-
coq-ctree
>= "2.0" -
coq-relation-algebra
>= "1.7" -
coq-coinduction
>= "1.9" -
coq
>= "8.20" -
dune
>= "3.8"
Dev Dependencies (1)
-
odoc
with-doc
Used by
None
Conflicts
None
On This Page