A Hello World program in Coq.
Coq Makefile Shell
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
extraction
src
.gitignore
LICENSE
Make
README.md
configure.sh

README.md

Hello World

A Hello World program in Coq.

Install from OPAM

Make sure you added the Coq repository:

opam repo add coq-released https://coq.inria.fr/opam/released

and run:

opam install coq-io-hello-world
helloWorld

Install from source

Compile the Coq code:

./configure.sh
make

Compile and execute the generated OCaml:

cd extraction/
make
./main.native