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

T

thomas.letan@ssi.gouv.fr

Sources

1.0.0-beta1.tar.gz

sha512=7c64e4cd75a81dd3508b044f807236a1cfc3d8dba8ac9c75ba0033e774886bca863bc53e51c148b7a6854d0a7bc3bd9f0808fe649356f18ff6ecb2634b8ac7d7

Description

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

Published: 08 Dec 2020

Dependencies (3)

cmdliner >= "1.0.4"
dune >= "2.5"
ocaml >= "4.08" & < "4.12~"

Dev Dependencies (1)

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

Used by

None

Conflicts