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.2.1.tar.gz
md5=e8cb5565b8ce622d2afa5bcc59873ad2

Description

Tags

date:2015-08-31 keyword:compilation keyword:OCaml

Published: 11 Jun 2018

Dependencies (6)

  1. yojson
  2. smart-print
  3. ocamlbuild build
  4. ocaml >= "4.05.0" & < "4.06.0"
  5. coq >= "8.5" & < "8.14~"
  6. conf-ruby build

Dev Dependencies

None

Used by

None

Conflicts

None