| | 콜로라도수학적 정의를 작성하는 공식적인 언어를 제공합니다. |
| 지금 다운로드 | |
콜로라도 순위 및 요약
광고
콜로라도 태그
콜로라도 설명
CoQ는 공식적인 증명 관리 시스템입니다. 수학적 정의, 실행 가능한 알고리즘 및 정리를 기계 체크 방지의 반 대화식 개발 환경과 함께 작성하는 공식적인 언어를 제공합니다. 일반적인 응용 프로그램에는 프로그래밍 언어 의미, 수학 및 가르침의 공식화의 공식화가 포함됩니다. 경험을 공유하십시오 : 이 프로그램에 대한 리뷰를 작성하십시오
콜로라도 관련 소프트웨어
