package coq-coqffi
Tool for generating Coq FFI bindings to OCaml libraries
Install
Dune Dependency
Authors
Maintainers
Sources
1.0.0-beta8.tar.gz
sha512=1065eb8b3eea7c77c5f4961ead8277de9b3fd6ec670757be30cefdd9744b98886e3e55b6aeff6edd6449fbfdd4b4337a193d2a4544c9a56f4ba37e863548e2b6
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: 29 Apr 2023
On This Page