프로그램별 coqtail.sf.net

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