2 search results for "author:"Christophe Lucas""

Showing 1 - 2
  1. coq-ollibs

    No documentation

    OL libraries
    keyword:standard library keyword:list keyword:permutation keyword:decidable equality keyword:finite multisets category:Mathematics/Combinatorics and Graph Theory date:2024-09-16 logpath:OLlibs
    Olivier Laurent Christophe Lucas
    2.0.7
    LGPL-3.0-or-later
    Used by 0 other packages
    17 Sep 2024
  2. rocq-ollibs

    No documentation

    OL libraries
    keyword:standard library keyword:list keyword:permutation keyword:decidable equality keyword:finite multisets category:Mathematics/Combinatorics and Graph Theory date:2025-04-22 logpath:OLlibs
    Olivier Laurent Christophe Lucas
    2.1.0
    LGPL-3.0-or-later
    Used by 0 other packages
    23 Apr 2025