1 search result for "tag:"date:2024-09-18""

Showing 1 - 1
  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