프로그램별 coq4eclipse.sf.net

Coq4Eclipse는 Coq 프루프 어시스턴트에 인터페이스를 제공하는 이클립스 플랫폼의 플러그인입니다. 구문 강조, 검색 시설, 수학적 기호, 예쁜 인쇄 등으로 사용자를 지원합니다.