package coq-io-hello-world

You can search for identifiers within the package.

in-package search v0.2.0

A Hello World program in Coq

Install

Dune Dependency

github.com Edit opam file Versions (3)

Authors

G

Guillaume Claret

Maintainers

D

dev@clarus.me

Sources

sha512=00f1beee8dbb62b6b619d9942f6701ef557ce3de3568f324103c1073968a3f07b7d5fa797e9ca955ec7d7ac36db5e039ef29c5666bfa4a5fe755b03615dface1

Description

Tags

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

Published: 30 Jul 2019

Dependencies (4)

coq-io-system-ocaml >= "2.3.0"
coq-io-system build
coq-io >= "4.0.0" & build
coq build

Dev Dependencies

None

Used by

None

Conflicts

None

On This Page

Description
Dependencies (4)
Dev Dependencies
Used by
Conflicts