package coq-coqffi

Overview
Homepage

You can search for identifiers within the package.

in-package search v0.2.0

Tool for generating Coq FFI bindings to OCaml libraries

Install

Dune Dependency

github.com Edit opam file Versions (8)

Authors

T

Thomas Letan
L

Li-yao Xia
Y

Yann Régis-Gianas
Y

Yannick Zakowski

Maintainers

L

lthms@soap.coffee

Sources

1.0.0-beta7.tar.gz

sha512=0f9d2893f59f8d09caec83f8476a2e7a511a7044516d639e4283b4187a86cf1563e60f1647cd12ae06e7e395bbc5dfedf5d798af3eb6baf81c0c2e482e14507b

Description

coqffi generates the necessary Coq boilerplate to use OCaml functions in a Coq development, and configures the Coq extraction mechanism accordingly.

Published: 20 Aug 2021

Dependencies (4)

sexplib >= "0.14"
cmdliner >= "1.0.4"
dune >= "2.5"
ocaml >= "4.08" & < "4.13~"

Dev Dependencies (1)

coq (>= "8.12" & < "8.14~") | = "dev"

Used by

None

Conflicts