Coqide

• coqide.byte(1) The Coq Proof Assistant graphical interface
• coqide.opt(1) The Coq Proof Assistant graphical interface
• coqide(1) The Coq Proof Assistant graphical interface