2 search results for "tag:"date:2026-11-01""

Showing 1 - 2
  1. rocq-partial-orders

    No documentation

    A library for setoids, partial orders, complete lattices and related structures
    keyword:partial order keyword:setoid keyword:lattice keyword:CPO keyword:Pataraia keyword:BourbakiWitt logpath:PartialOrders date:2026-11-01
    Damien Pous <Damien.Pous@ens-lyon.fr>
    1.2
    LGPL-3.0-or-later
    Used by 1 other packages
    02 Nov 2026
  2. 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 date:2026-11-01
    Damien Pous <Damien.Pous@ens-lyon.fr> Christian Doczkal <christian.doczkal@ens-lyon.fr>
    1.9.2
    LGPL-3.0-or-later
    Used by 1 other packages
    02 Nov 2026