CoqLaTeX
Coq-of-ocaml
Coqyour
cord
Core
COReals
corner
corporation
Corporation
correct
