coq

"coq"

• Jul 08, 2024 콕 설치 소개 이맥스 에디터 연동
• Jul 05, 2024 콕 증명 도우미 이맥스 환경의 시작
• Jul 05, 2024 정주희 (2024) 콕 증명 도우미 스터디