HLM Proof Assistant
您将能够在 5 秒内下载。
您也可以点击以下外部下载链接进行下载:
http://sourceforge.net/projects/hlm/files/Prototype/hlm.zip/download
关于 HLM Proof Assistant
HLM 是日常数学的证明助手,目前正在开发中。它的目标是尽可能接近常规的数学实践的用户体验,以及人类在很少额外努力的情况下可以理解的证明。
相关软件
-
MLA Auto-Generator 免费
为引用的作品或书目页面生成格式正确的(MLA、APA、芝加哥、CPE、图拉比安)条目。
-
Animal Imaging 免费
"动物成像"是一个收集和传播与动物体内成像相关的成像技术(如CT、MRI、PET、超声波)信息的项目。
-
Wordcorr 免费
Wordcorr 自动执行繁琐且危险的记录过程,用于计算自然语言的历史发展中使用的声音对应关系。它允许访问所有数据,所有的时间。最初的支持来自NSF。
-
aMS - advanced Modeling System 免费
具有与各种类型的人称系统一起使用的用户分析/建模系统。其优势是,此系统不包括在应用程序中,并可用于许多目的和不同的上下文。
-
X-Specs 免费
库和工具,支持软件设计,使用可执行代码作为规范,支持测试驱动开发和其他敏捷方法。
-
Action Movies 免费
你喜欢测验吗?你喜欢 00 年代流行文化吗?你喜欢免费的东西吗?!那么这是为你的应用程序...有趣, 免费多选琐事测验在你的口袋里!你知道古德费拉和教父的区别吗?如果你觉得你知道什么是詹姆斯邦德或印第安纳琼斯, 那么这是你的测验。犹豫不决的时间已经结束, 所以安顿下来, 把自己绑在一些全动作的电影挑逗。如果你回避那些承诺浪漫和卡通蓝鸟的电影,宁愿看到好人试图抓住坏人,那么你™在这里得分很好。和电影本身一样,这些问题都是从第一次追车到最后一次枪战的
-
New Super Mario Bros Guide 免费
新的超级马里奥兄弟 WII 指南 " 一个非官方的演练指南 [ 包括: 步行 - 世界 1 - 世界 2 - 世界 3etc] [战争坎农塞特。秘密 - 秘密目标。蘑菇房子集。标签:"新的超级马里奥兄弟wi""新超级马里奥兄弟"新超级马里奥兄弟为d""新马里奥为d"[法律免责声明:新的超级马里奥兄弟的非官方游戏指南不是官方指南或连接到游戏开发商或出版商。所有角色、位置
-
Baby's number school(flower) 免费试用
婴儿的最佳应用。宝宝可以用可爱的花学习数字。我们支持 10 张花卉照片和 1~10 个数字。它帮助你的宝宝发展大脑。有一个有趣的时间与这个程序!★ 免费版本下载 ★http://bit.ly/tBMGko------------------------------------------123 婴儿数学校 - 免费------------------------------
-
RAPID 免费
RAPID(REBOL API DocuMentor)提供了一种从 REBOL 源代码获取文档并发布为各种输出格式(如 HTML、PDF、make-doc-pro 等)的方法。
-
Logic Solver (truth tables) 免费试用
此程序显示真话表,使用您喜欢的字母输入命题,例如:PvQ+R 或 Av=B,程序显示真话表。此程序还通过显示一个可能的逻辑等价列表来帮助您简化命题。