2 search results for "tag:"logpath:Partial""

Showing 1 - 2
  1. rocq-partial

    No documentation

    A Rocq library for extractable partial functions
    category:Computer Science/Semantics and Compilation/Semantics keyword:partial functions keyword:general recursion keyword:monad keyword:extraction logpath:Partial date:2026-10-08
    Théo Winterhalter <theo.winterhalter@inria.fr> Meven Lennon-Bertand <meven.lennon-bertrand@inria.fr> Kenji Maillard <kenji@maillard.blue>
    0.1
    MIT
    Used by 0 other packages
    08 Oct 2026
  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-11-01
    Damien Pous <Damien.Pous@ens-lyon.fr>
    1.2
    LGPL-3.0-or-later
    Used by 1 other packages
    02 Nov 2026