2 search results for "tag:"keyword:lattice""

Showing 1 - 2
  1. rocq-mathcomp-order

    No documentation

    Mathematical Components Library on order theory
    keyword:small scale reflection keyword:mathematical components keyword:order theory keyword:partial order keyword:lattices keyword:total order logpath:mathcomp.order
    The Mathematical Components team
    2.5.0
    CECILL-B
    Used by 6 other packages
    13 Nov 2025
  2. 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-05-07
    Damien Pous <Damien.Pous@ens-lyon.fr>
    1.0
    LGPL-3.0-or-later
    Used by 1 other packages
    18 May 2026