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:2024-07-15 logpath:MenhirLib
    Jacques-Henri Jourdan <jacques-henri.jourdan@lri.fr>
    20240715
    LGPL-3.0-or-later
    Used by 5 other packages
    15 Jul 2024