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. L
    lthms@soap.coffee

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

Published: 29 Apr 2023

Dependencies (5)

  1. sexplib >= "0.14"
  2. cmdliner >= "1.1.0"
  3. coq >= "8.12" & < "8.14~"
  4. dune >= "2.5"
  5. ocaml >= "4.08" & < "5.0~"

Dev Dependencies

None

Used by

None

Conflicts

None