Opam Package coq-of-ocaml.2.4.1

Package info

opam-namecoq-of-ocaml
opam-version2.4.1
synopsisCompile a subset of OCaml to Coq
authors
  • Guillaume Claret
homepagehttps://github.com/clarus/coq-of-ocaml
licenseMIT
readme-fileREADME.md
deps (7)
revdeps(0)
metas (1)
libraries(0)

Package modules

Package sources

coq-of-ocaml

Package files

lib/coq/user-contrib/CoqOfOCaml/Settings.vo
lib/coq/user-contrib/CoqOfOCaml/Settings.v
lib/coq/user-contrib/CoqOfOCaml/Settings.glob
lib/coq/user-contrib/CoqOfOCaml/List.vo
lib/coq/user-contrib/CoqOfOCaml/List.v
lib/coq/user-contrib/CoqOfOCaml/List.glob
lib/coq/user-contrib/CoqOfOCaml/Libraries.vo
lib/coq/user-contrib/CoqOfOCaml/Libraries.v
lib/coq/user-contrib/CoqOfOCaml/Libraries.glob
lib/coq/user-contrib/CoqOfOCaml/CoqOfOCaml.vo
lib/coq/user-contrib/CoqOfOCaml/CoqOfOCaml.v
lib/coq/user-contrib/CoqOfOCaml/CoqOfOCaml.glob
lib/coq/user-contrib/CoqOfOCaml/Basics.vo
lib/coq/user-contrib/CoqOfOCaml/Basics.v
lib/coq/user-contrib/CoqOfOCaml/Basics.glob
lib/coq/user-contrib/CoqOfOCaml
lib/coq-of-ocaml/opam
lib/coq-of-ocaml/dune-package
lib/coq-of-ocaml/META
lib/coq-of-ocaml
doc/coq-of-ocaml/README.md
doc/coq-of-ocaml/LICENSE
doc/coq-of-ocaml/CHANGELOG.md
doc/coq-of-ocaml
bin/coq-of-ocaml