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 Rocq parsers produced by Menhir
    date:2026-02-03 logpath:MenhirLib
    Jacques-Henri Jourdan <jacques-henri.jourdan@lri.fr>
    20260203
    LGPL-3.0-or-later
    Used by 5 other packages
    03 Feb 2026