#[Welcome to] Coq's Gitter, call by name and don't be afraid. Check out our new Discourse! https://coq.discourse.group/
Compiler of OCaml to Coq.
A Coq Library for the SecureND Calculus for Minimal Trust
A Hello World program in Coq.
Generation of the Coq website for OPAM.
System effects for Coq.