Concurrency in Coq

Popular repositories Loading

1. pluto pluto Public

   A web server written in Coq.

   Coq 89 1

2. system system Public

   The monad and API definitions.

   HTML 7 3

3. proxy proxy Public

   A proxy to interface concurrent Coq programs with the operating system.

   OCaml 5