"coq" 태그별 라이브러리
coq-library-undecidability
Coq 증명 도우미의 기계화된 결정 불가 증명 라이브러리입니다.
- 96
- Coq
- GNU General Public License v3.0
next-700-module-systems
박사 연구;; 유형 클래스/특성과 레코드/클래스/구조체의 차이점은 무엇입니까? 정말 아무것도 아니므로 주장합니다..
- 75
- HTML
- GNU General Public License v3.0 only