3 search results for "tag:"date:2024-09-16""

Showing 1 - 3
  1. coq-ollibs

    No documentation

    OL libraries
    keyword:standard library keyword:list keyword:permutation keyword:decidable equality keyword:finite multisets category:Miscellaneous/Coq Extensions 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. coq-simple-io

    No documentation

    IO monad for Coq
    date:2024-09-16 logpath:SimpleIO keyword:extraction keyword:effects
    Li-yao Xia Yishuai Li
    1.10.0
    MIT
    Used by 6 other packages
    17 Sep 2024
  3. coq-yalla

    No documentation

    Yalla library
    keyword:linear logic keyword:metatheory keyword:cut elimination category:Mathematics/Logic/Foundations date:2024-09-16 logpath:Yalla
    Olivier Laurent
    2.0.6
    LGPL-3.0-or-later
    Used by 0 other packages
    16 Sep 2024