1 search result for "tag:"logpath: CDS4LTL""

Showing 1 - 1
  1. coq-cds4ltl

    No documentation

    A Calculational Deductive System for Linear Temporal Logic
    keyword: temporal logic category: Mathematics/Logic/Modal logic date: 2022-07-23 logpath: CDS4LTL
    John Wiegley
    1.0.0
    BSD-3-Clause
    Used by 0 other packages
    23 Jul 2022