package coq-of-ocaml

  1. Overview
  2. No Docs
Compile OCaml to Coq

Install

Dune Dependency

github.com Edit opam file Versions (4)

Authors

  1. G
    Guillaume Claret

Maintainers

  1. D
    dev@clarus.me

Sources

1.1.1.tar.gz
md5=6148587be3cee4ec577e9909fabd45ce

Description

Tags

date:2019-05-09 keyword:compilation keyword:OCaml

Published: 09 May 2019

Dependencies (6)

  1. yojson < "2.0.0"
  2. smart-print
  3. ocamlbuild build
  4. ocaml >= "4.02.0" & < "4.03.0"
  5. coq >= "8.4.5" & < "8.6"
  6. conf-ruby build

Dev Dependencies

None

Used by

None

Conflicts

None