package coq-coqffi

  1. Overview
  2. No Docs
Tool for generating Coq FFI bindings to OCaml libraries

Install

Dune Dependency

github.com Edit opam file Versions (8)

Authors

  1. T
    Thomas Letan
  2. L
    Li-yao Xia
  3. Y
    Yann Régis-Gianas
  4. Y
    Yannick Zakowski

Maintainers

  1. T
    thomas.letan@ssi.gouv.fr

Sources

1.0.0-beta3.tar.gz
sha512=5d0a924eac883591b8bf85296b1351fa57f99839500fb05fa423dffc08b6107bf5682c4e4bb4a1911657cc48ff6780bdcb6c5d65ee58641a5345bc1559125908

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:CoqFFI

Published: 27 Jan 2021

Dependencies (3)

  1. cmdliner >= "1.0.4"
  2. dune >= "2.5"
  3. ocaml >= "4.08" & < "4.12~"

Dev Dependencies (1)

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

Used by

None

Conflicts

None