1 search result for "author:"Gaëtan Gilbert""

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