4 search results for "author:"damien.pous@ens-lyon.fr""

Showing 1 - 4
  1. coq-coinduction

    No documentation

    Compatibility package for rocq-coinduction
    Damien Pous <Damien.Pous@ens-lyon.fr>
    1.21
    LGPL-3.0-or-later
    Used by 1 other packages
    19 Sep 2025
  2. coq-relation-algebra

    No documentation

    Compatibility package for rocq-relation-algebra
    Damien Pous <Damien.Pous@ens-lyon.fr>
    1.8.0
    LGPL-3.0-or-later
    Used by 2 other packages
    19 Sep 2025
  3. rocq-coinduction

    No documentation

    A library for doing proofs by (enhanced) coinduction
    keyword:coinduction keyword:up to techniques keyword:companion keyword:bisimilarity logpath:Coinduction date:2025-09-17
    Damien Pous <Damien.Pous@ens-lyon.fr>
    1.21
    LGPL-3.0-or-later
    Used by 1 other packages
    19 Sep 2025
  4. rocq-relation-algebra

    No documentation

    Relation Algebra and KAT in Rocq
    keyword:relation algebra keyword:Kleene algebra with tests keyword:KAT keyword:allegories keyword:residuated structures keyword:automata keyword:regular expressions keyword:matrices category:Mathematics/Algebra logpath:RelationAlgebra
    Damien Pous <Damien.Pous@ens-lyon.fr> Christian Doczkal <christian.doczkal@ens-lyon.fr>
    1.8.0
    LGPL-3.0-or-later
    Used by 1 other packages
    19 Sep 2025