Package coq-coqide

• coqide(1) — graphical interface for the Coq proof assistant