Coqtail

许可: 免费 ‎文件大小: N/A
‎用户评分: 4.0/5 - ‎2 ‎评分

关于 Coqtail

COQ 定理、抽象和实现(bachelor 级别)Coqtail 是使用 Coq 校样助手的数学校样库。