Concurrency in Coq

Development of concurrent applications in Coq.

Pinned Repositories

pluto
A web server written in Coq.
Language:Coq89 7 21
proxy
A proxy to interface concurrent Coq programs with the operating system.
Language:OCaml5 3 00
system
The monad and API definitions.
Language:HTML7 3 43

Concurrency in Coq's Repositories

coq-concurrency/pluto
A web server written in Coq.
Language:Coq89 7 21
coq-concurrency/system
The monad and API definitions.
Language:HTML7 3 43
coq-concurrency/proxy
A proxy to interface concurrent Coq programs with the operating system.
Language:OCaml5 3 00