package coq-cds4ltl
A Calculational Deductive System for Linear Temporal Logic
Install
Dune Dependency
Authors
Maintainers
Sources
1.0.0.tar.gz
sha256=7a0beafad11ca48775e404cabe25e5790d2c7ea59ef84aadf191a5e2d5b6e76a
Description
An axiomatic and denotational formalization of the theorems described by the paper: A Calculational Deductive System for Linear Temporal Logic (CDS4LTL).
Tags
keyword: temporal logic category: Mathematics/Logic/Modal logic date: 2022-07-23 logpath: CDS4LTLPublished: 23 Jul 2022
Dependencies
None
Dev Dependencies (1)
-
coq
(>= "8.14" & < "8.17~") | (= "dev")
Used by
None
Conflicts
None
On This Page