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.13" & < "4.14"
  6. dune >= "2.9"
  7. csexp
  8. angstrom >= "0.15.0"

Reverse Dependencies

    None

Conflicts (1)

  1. coq < "8.11"
Compile a subset of OCaml to Coq

Install

Documentation github.com Readme Changelog MIT License Edit opam file

Authors

  1. G
    Guillaume Claret

Maintainers

  1. D
    dev@clarus.me

Sources

coq-of-ocaml-full.2.5.3+4.13.tar.gz
sha256=9163c752a30d310443e5d5677a96ebfbbdf08dfe0042fe1fee3402f9e7efb492
sha512=f3d1f84b3269035502c95967835c6baa8ec501127b2139e221f90ab2ca47b149c6f6c61f8ba50faef62d2076d03bb428cb775bcf13587b89bf85716445fe92a4