coqide

IDE of the Coq formal proof management system.