언어 선택

홈 페이지 arrow-right ... arrow-right 교육 및 참고 소프트웨어 arrow-right Coq

3개의 무료 및 유료 대안을 Coq에 대한 목록으로 정리했습니다. 주요 경쟁 업체는 Isabelle, F*입니다. 이 외에도 사용자들은 Coq와 Agda 간에 비교를 하기도 합니다. 또한 여기서 다른 유사한 옵션을 살펴볼 수 있습니다: 교육 및 참고 소프트웨어.


Isabelle
Free Open Source

Isabelle은 컴퓨터로 수학 증거를 작성하고 확인하는 증거 조수입니다.

F*
Free Open Source

F *는 프로그램 검증을 목표로하는 ML 유사 기능 프로그래밍 언어입니다.

Agda는 종속적으로 유형이 지정된 기능 프로그래밍 언어입니다. 그것은 유도적인 가족, 즉

Coq는 증거 보조자로서 엄격하고 공식적인 수학적 증거를 작성할 수 있습니다.

Coq 플랫폼

tick-square Linux
tick-square Mac
tick-square Windows

Coq 개요

Coq는 교정 지원으로, 엄격하고 공식적인 방법으로 수학 교정을 작성하고 컴퓨터에서 정확성을 검사 할 수 있습니다. 또한 코드의 정확성 및 종속 유형을 사용하여 프로그래밍 할 수 있습니다.

최고의 Coq 대안

소프트웨어에 대한 의견을 공유하고 리뷰를 남겨 더 나아지도록 도와주세요!

Coq 태그

safety proof-assistant formal verification mathematics

변경 제안

귀하의 의견

등급을 선택하세요
평점을 선택하세요

Your vote has been counted.

Do you have experience using this software?