package coq-cfml-stdlib
The CFML program verification system
Install
Dune Dependency
Authors
Maintainers
Sources
archive.tar.gz
md5=1ce2b343adf77f5d75cccd7b860cc19b
sha512=9205fbcf8bf3dcc7131bcbfd63f68694fa59145422741f6f67f0881f0dd2d923a947f10f6a979d43f569e2ae83464aac366ff6445a074d22625769b436e6e5e9
Description
CFML is a program verification system for OCaml.
Tags
date: logpath:CFML.Stdlib category:Computer Science/Programming Languages/Formal Definitions and Theory keyword:program verification keyword:separation logic keyword:weakest preconditionPublished: 17 Dec 2021
Dependencies (3)
-
coq-cfml-basis
= version -
cfml
= version -
coq
>= "8.13"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page