Coq.io

system Public
Library of Unix effects for Coq.

Coq 22 MIT 1 0 0 Updated Sep 28, 2019
hello-world Public
A Hello World program in Coq.

Coq 15 MIT 0 0 0 Updated Jul 30, 2019
opam-website Public
Generation of a sample Coq website for OPAM

Coq 3 MIT 0 0 0 Updated Jul 30, 2019
coq-io.github.io Public
Documentation of Coq.io

Ruby 0 MIT 0 0 0 Updated Jul 29, 2019
system-ocaml Public
OCaml utilities to run the extraction of system effects from Coq.

OCaml 1 MIT 0 0 0 Updated Jul 28, 2019
io Public
A library for effects in Coq.

Coq 58 MIT 2 0 0 Updated Jul 25, 2019
list Public archive
Generic functions on lists with effects. [merged into https://github.com/coq-io/io]

Coq 2 MIT 0 0 0 Updated Jul 23, 2019
exception Public archive
Abstract your errors into exceptions. [merged into https://github.com/coq-io/io]

Coq 2 MIT 0 0 0 Updated Jul 23, 2019
evaluate Public archive
Generic functions to evaluate effects. [merged into https://github.com/coq-io/io]

Coq 2 MIT 0 0 0 Updated Jul 23, 2019
website Public
The website of Coq.io.

HTML 0 MIT 0 0 0 Updated Feb 14, 2016

Popular repositories