package coq-cfml-basis
The CFML Basis library
Install
Dune Dependency
Authors
Maintainers
Sources
archive.tar.gz
md5=1ce2b343adf77f5d75cccd7b860cc19b
sha512=9205fbcf8bf3dcc7131bcbfd63f68694fa59145422741f6f67f0881f0dd2d923a947f10f6a979d43f569e2ae83464aac366ff6445a074d22625769b436e6e5e9
Description
This library provides theoretical foundations for the CFML tool.
Tags
date: logpath:CFML category:Computer Science/Programming Languages/Formal Definitions and Theory keyword:program verification keyword:separation logic keyword:weakest preconditionPublished: 15 Dec 2021
On This Page