Coq Platform 공식 배포처 안내

Coq Platform은 복잡한 수학적 증명 및 소프트웨어 검증을 위한 강력한 도구입니다. Coq 시스템을 기반으로 하며, 논리, 증명 기술, 형식적 방법론에 대한 깊이 있는 지식을 가진 사용자에게 적합합니다.

플랫폼

Mac

라이선스

무료

요구 사양

macOS

• ·Coq Platform은(는) Mac 환경에서 사용하는 Utilities 분야 프로그램입니다.
• ·비용 없이 내려받아 사용할 수 있습니다.
• ·설치하려면 macOS 환경이 필요합니다.
• ·한국어를 지원합니다.
• ·최신 버전과 정확한 배포 조건은 공식 배포처에서 확인하는 것이 안전합니다.

SSDown 은 설치 파일을 직접 제공하지 않습니다. 공식 배포처로 이동합니다.