Isabelle 대안
33개의 무료 및 유료 대안을 Isabelle에 대한 목록으로 정리했습니다. 주요 경쟁 업체는 Coq, F*입니다. 이 외에도 사용자들은 Isabelle와 Agda 간에 비교를 하기도 합니다. 또한 여기서 다른 유사한 옵션을 살펴볼 수 있습니다: 교육 및 참고 소프트웨어.
3개의 무료 및 유료 대안을 Isabelle에 대한 목록으로 정리했습니다. 주요 경쟁 업체는 Coq, F*입니다. 이 외에도 사용자들은 Isabelle와 Agda 간에 비교를 하기도 합니다. 또한 여기서 다른 유사한 옵션을 살펴볼 수 있습니다: 교육 및 참고 소프트웨어.
3개의 무료 및 유료 대안을 Isabelle에 대한 목록으로 정리했습니다. 주요 경쟁 업체는 Coq, F*입니다. 이 외에도 사용자들은 Isabelle와 Agda 간에 비교를 하기도 합니다. 또한 여기서 다른 유사한 옵션을 살펴볼 수 있습니다: 교육 및 참고 소프트웨어.
Isabelle은 컴퓨터로 수학 증거를 작성하고 확인하는 증거 조수입니다.
수학 공식을 공식 언어로 표현할 수 있으며 공식을 논리 미적분으로 증명할 수있는 도구를 제공합니다.
소프트웨어에 대한 의견을 공유하고 리뷰를 남겨 더 나아지도록 도와주세요!
변경 제안
귀하의 의견
Your vote has been counted.
Do you have experience using this software?