Coq4Eclipse

라이센스: 무료 ‎파일 크기: N/A
‎사용자 평가: 3.0/5 - ‎1 ‎투표

에 대해 Coq4Eclipse

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