Coqtail

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

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

版本历史记录

  • 版本 files 发布于 2010-04-07
    若干修复和更新
  • 版本 N/A 发布于 2010-04-07

软件信息