Coqtail

라이센스: 무료 ‎파일 크기: N/A
‎사용자 평가: 4.0/5 - ‎2 ‎투표

COQ Theorems, 추상화 및 구현 (학사 수준) Coqtail는 Coq 증거 도우미를 사용하여 수학적 증거의 라이브러리입니다.

버전 기록

  • 버전 files 에 게시 2010-04-07
    몇 가지 수정 및 업데이트
  • 버전 N/A 에 게시 2010-04-07

프로그램 세부 정보