package coq-of-ocaml

  1. Overview
  2. Homepage
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

Rocq

Interactive Theorem Prover

Zulip GitHub Discourse Mastodon RSS
About
Changelog Releases Industrial Users Academic Users History Why Rocq? Roadmap
Ecosystem
Platform Packages Rocq Team Community Consortium Events Rocq Planet Jobs
Resources
Install Rocq Get Started Documentation Books Papers Logo
Policies
Governance Privacy Code of Conduct