2 search results for "author:"G. Allais""

Showing 1 - 2
  1. coq-parseque

    No documentation

    Total parser combinators in Coq
    category:Computer Science/Data Types and Data Structures date:2024-03-10 logpath:parseque
    G. Allais
    0.2.2
    MIT
    Used by 1 other packages
    10 Mar 2025
  2. rocq-parseque

    No documentation

    Total parser combinators in Rocq/Coq
    category:Computer Science/Data Types and Data Structures date:2025-06-24 logpath:parseque
    G. Allais
    0.3.0
    MIT
    Used by 0 other packages
    27 Jun 2025