1 search result for "author:"G. Allais""

Showing 1 - 1
  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