package coq-io-hello-world

  1. Overview
  2. No Docs
A Hello World program in Coq

Install

Dune Dependency

github.com Edit opam file Versions (3)

Authors

  1. G
    Guillaume Claret

Maintainers

  1. D
    dev@clarus.me

Sources

1.2.0.tar.gz
sha512=00f1beee8dbb62b6b619d9942f6701ef557ce3de3568f324103c1073968a3f07b7d5fa797e9ca955ec7d7ac36db5e039ef29c5666bfa4a5fe755b03615dface1

Description

Tags

date:2019-07-30 keyword:effects keyword:extraction

Published: 30 Jul 2019

Dependencies (4)

  1. coq-io-system-ocaml >= "2.3.0"
  2. coq-io-system build
  3. coq-io >= "4.0.0" & build
  4. coq build

Dev Dependencies

None

Used by

None

Conflicts

None