package coq-of-ocaml

  1. Overview
  2. No Docs
Compile a subset of 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

2.1.0.tar.gz
sha512=c90c2830c0cf749359a9e1381b8c3dbc0cfb98ca91e174f6d7f07fb031bff732a0e3abf4b3643418024249dbbd6e241859bbab4e75a66b0abab471d7734004c2

Description

Tags

date:2020-03-20 keyword:compilation keyword:OCaml logpath:OCaml

Published: 20 May 2020

Dependencies (6)

  1. yojson >= "1.6.0"
  2. smart-print
  3. ocaml >= "4.07" & < "4.08"
  4. menhir build
  5. dune build
  6. coq >= "8.11"

Dev Dependencies (1)

  1. conf-ruby with-test

Used by

None

Conflicts

None