rocq-community/coqffi

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

语言：OCaml · GitHub 星标：38 · Fork：10

话题：coq · ffi-bindings · ocaml

在 GitHub 上查看原仓库