3 search results for "tag:"keyword:companion""

Showing 1 - 3
  1. coq-coinduction

    No documentation

    A library for doing proofs by (enhanced) coinduction
    keyword:coinduction keyword:up to techniques keyword:companion keyword:bisimilarity logpath:Coinduction date:2024-09-18
    Damien Pous
    1.20
    LGPL-3.0-or-later
    Used by 1 other packages
    18 Sep 2024
  2. coq-coinduction-examples

    No documentation

    Examples on how to use the coq-coinduction library, for doing proofs by (enhanced) coinduction
    keyword:coinduction keyword:up to techniques keyword:companion keyword:bisimilarity keyword:divergence keyword:streams keyword:CCS logpath:CoinductionExamples
    Damien Pous
    1.7
    LGPL-3.0-or-later
    Used by 0 other packages
    13 Jul 2023
  3. coq-freesim

    No documentation

    Stuttering For Free
    keyword:simulation keyword:coinduction keyword:dual non-determinism keyword:up to techniques keyword:companion keyword:Interaction Trees keyword:CompCert logpath:FreeSim
    Minki Cho, Youngju Song, Dongjae Lee
    1.0.0
    BSD-3-Clause
    Used by 0 other packages
    19 Sep 2023