package coq-of-ocaml

  1. Overview
  2. No Docs
Compile a subset of OCaml to Coq

Install

github.com Edit opam file

Authors

  1. G
    Guillaume Claret

Maintainers

  1. D
    dev@clarus.me

Sources

coq-of-ocaml-full.2.5.3+4.14.tar.gz
sha256=1c6d414ae8e4babfd79f82cb667cdaaf11b4c3b76dc83de4c23f6ee8ec6affff
sha512=4b017b5892ef0c665a5ff5da292ec5cbdd1a103dfb7193553b78d25693787acd359a30028c335b300883d555786d3787258fe7a57d63cd53b94edc6b40e8ffbe

Description

Tags

keyword:compilation keyword:OCaml logpath:CoqOfOCaml

Published: 06 Jan 2023

Dependencies (8)

  1. yojson >= "1.6.0"
  2. smart-print
  3. result
  4. ocamlfind >= "1.5.2"
  5. ocaml >= "4.14" & < "4.15"
  6. dune >= "2.9"
  7. csexp >= "1.5.0"
  8. angstrom >= "0.15.0"

Dev Dependencies

None

Used by

None

Conflicts (2)

  1. coq-core
  2. coq < "8.11"