1 search result for "author:"Jacques-Henri Jourdan <jacques-henri.jourdan@lri.fr>""

Showing 1 - 1
  1. coq-menhirlib

    No documentation

    A support library for verified Coq parsers produced by Menhir
    date:2025-09-12 logpath:MenhirLib
    Jacques-Henri Jourdan <jacques-henri.jourdan@lri.fr>
    20250912
    LGPL-3.0-or-later
    Used by 5 other packages
    16 Sep 2025