Popular repositories Loading

1. io io Public

   A library for effects in Coq.

   Coq 65 4

2. system system Public

   Library of Unix effects for Coq.

   Coq 23 1

3. hello-world hello-world Public

   A Hello World program in Coq.

   Coq 17 2

4. experiments experiments Public

   Experiments with Coq effects.

   Coq 3

5. opam-website opam-website Public

   Generation of a sample Coq website for OPAM

   Coq 3

6. list list Public archive

   Generic functions on lists with effects. [merged into https://github.com/coq-io/io]

   Coq 2