2 search results for "author:"Gaëtan Gilbert""

Showing 1 - 2
  1. coq-lean-import

    No documentation

    Plugin allowing Coq to import Lean exported files
    logpath:LeanImport
    Gaëtan Gilbert
    9.0+lean3-alpha
    LGPL-2.1-only
    Used by 0 other packages
    28 Aug 2025
  2. rocq-lean-import

    No documentation

    Plugin allowing Rocq to import Lean exported files
    logpath:LeanImport
    Gaëtan Gilbert
    0.0.1
    LGPL-2.1-only
    Used by 0 other packages
    10 Dec 2025