A Qt IDE that provides a user-friendly interface to use the Coq Proof assistant.