/coqffi

Automatically generates Coq FFI bindings to OCaml libraries [maintainer=@lthms]

Primary LanguageOCamlMIT LicenseMIT

Stargazers