251 search results for "tag:"date:""

Showing 251 - 251
  1. rocq-yalla

    No documentation

    Yalla library
    keyword:linear logic keyword:metatheory keyword:cut elimination category:Mathematics/Logic/Foundations date:2025-03-26 logpath:Yalla
    Olivier Laurent
    2.0.7
    LGPL-3.0-or-later
    Used by 0 other packages
    27 Mar 2025
... 4 5 6