COQ Theorems, 추상화 및 구현 (학사 수준) Coqtail는 Coq 증거 도우미를 사용하여 수학적 증거의 라이브러리입니다.
버전 기록
- 버전 files 에 게시 2010-04-07
몇 가지 수정 및 업데이트 - 버전 N/A 에 게시 2010-04-07
프로그램 세부 정보
- 범주: 교육 > 다른
- 게시자: coqtail.sf.net
- 라이센스: 무료
- 가격: N/A
- 버전: Array
- 플랫폼: windows
COQ Theorems, 추상화 및 구현 (학사 수준) Coqtail는 Coq 증거 도우미를 사용하여 수학적 증거의 라이브러리입니다.