Coqtail
您将能够在 5 秒内下载。
您也可以点击以下外部下载链接进行下载:
http://sourceforge.net/projects/coqtail/files/coqtail.1.0rc1.tar.gz/download
关于 Coqtail
COQ 定理、抽象和实现(bachelor 级别)Coqtail 是使用 Coq 校样助手的数学校样库。
相关软件
-
Triplets / Triple 免费
Ce 逻辑 recherche tous les 三胞胎 pythagoriciens que l 'on peut 前 avec un nombre allant de 1 9999999。/ 这个软件寻找所有的毕达哥拉斯三重, 我们可以形成一个数字从 1 到 9999999 。
-
FunnyRobot Platform 免费
FunnyRobot 项目设计了一个可通过 USB 编程的教育机器人控制器。硬件和软件都是可配置和可扩展的。用户可以使用一个C++构建程序,并在实时操作系统下运行它们。
-
Merriam-Webster s Unabridged 免费试用
梅里亚姆-韦伯斯特的第三本新国际词典,《乌纳布里奇》——美国最全面的词典。------------词典详细信息:•牛市;超过257,244个条目和700,000个定义•公牛;143,000个描述词源和100,000个引文的词源• 公牛; 1, 100 个同义词段落•公牛;特别更新的新单词和含义的增编部分• 公牛; 扩展同义词库。------------搜索和输入功能:•bull; 全文搜索功能
-
Madagascar 免费
马达加斯加是一个用于地球物理数据处理和可重复数值实验的软件包。包装任务是为从事数字图像和数据处理的研究人员提供一个方便的环境。
-
Parable NKJV 免费
免费: 整个约翰福音 (2 小时 14 分钟) 以小卢 · 戈塞特为主角的约翰。任何时候,你可以购买完整的音频的寓言NKJV旧约和新约,或者你可以单独购买书籍。《寓言NKJV》是一部以引人注目的戏剧性音频剧场形式呈现的《圣经》中值得信赖的新国王詹姆斯版本(NKJV)的剧本戏剧化。音频项目花了4年时间制作和特色好莱坞演员的才华,包括迈克尔·约克(解说员),理查德·德雷福斯(摩西),加里·西尼斯(大卫),杰西·麦卡特尼(年轻的大卫和丹尼尔),史黛西·
-
LibreEngineering 免费
自由工程 - 仪器仪表套件,电气,机械,工艺工程计算和设计程序等工具。根据 GPL3 获得许可。使用 Qt 工具包在 Python 中编写。
-
AVR Attiny26 Visual Programmer 免费
Attiny26 微控制器的可视化 GUI 程序员,用于输出装配、组装成十六进制并上传到具有直观界面(Tekbots-OSU)的硬件。
-
GRE Mnemonics Wordlist Lite 免费
-------------------请完成此调查,以帮助我们改进这个程序。http://goo.gl/xwyyCX-------------------完美的词汇构建应用程序准备GRE, CAT, PSAT, SAT, LSAT, GED, ESL, GMAT, ACT, MCAT, TOEFL, 雅思, PCAT, OAT 和更多.助记符 - 是一种有助于长期记忆的学习技术。它们通过提高整合过程的效率来做到这一点。
-
Asmaul Husna 免费
99个神的名字或99个真主的名字是穆斯林视神(真主)的上帝的名字,在《古兰经》和《圣训》中描述。
-
Doxygen filters 免费
这些编程语言的 Doxygen 筛选器: GNU 的 R, kx.com的 q, MathWorks 的 MatLab。这些程序在使用 Flex+ C++中实现。它们提供完整的内联源,而不仅仅是函数定义。