package coq-coqffi
Tool for generating Coq FFI bindings to OCaml libraries
Install
Dune Dependency
Authors
Maintainers
Sources
1.0.0-beta5.tar.gz
sha512=019966ed128e31a69ab79c610d7e1163bd650ab03485878f00e8942f2f4b4ef1f6d48a014617fce29c60190c3523f2f544655276b11fd752f98fcc2090df7f60
Description
coqffi generates the necessary Coq boilerplate to use OCaml functions in a
Coq development, and configures the Coq extraction mechanism accordingly.
Tags
category:Miscellaneous/Coq Extensions keyword:foreign function interface keyword:extraction keyword:OCaml logpath:CoqFFIPublished: 01 Mar 2021
On This Page