소개Coq is a formal proof management system.상세정보Coq 소개Coq는 형식 증명 관리 시스템입니다.시스템 요구사항별도의 시스템 요구사항이 등록되지 않았습니다.
