![](/statics/img/blank.png)
Coq4Eclipse
您将能够在 5 秒内下载。
关于 Coq4Eclipse
Coq4Eclipse 是 Eclipse 平台的插件,它为 Coq 证明助手提供了一个接口。它将支持用户与语法突出显示,搜索设施,数学符号,漂亮的打印等。
相关软件
-
Zinuc 免费
你总是厌倦了从你的 PC 一些奇怪的位置搜索 Windows 计算器吗?Zinuc 是一个仅网络,非常简单,但功能强大的计算器。您不需要下载任何内容来使用它。查看网页了解更多信息。
-
RouteCalc 免费
航空指挥线路线计算器。输入:巡航速度、燃油消耗、风向/速度、段距离。输出:飞行轴承、地面速度、分段时间、燃油燃烧。处理可变巡航/风的多个段。csv 支持
-
Auditory Modelling Toolbox 免费
听觉建模工具箱是一个社区努力,以建立一个简单和测试良好的工具箱做听觉建模在Matlab,Octave和C。
-
sigTOOL 免费
sigTOOL 为 MATLAB 内的电生理数据提供了一个用户可扩展的信号分析环境。神经元尖峰训练, + 光谱和时域分析内置。http://dx.doi.org/10.1016/j.jneumeth.2008.11.004
-
Periodic Table Droid 免费试用
最完整,可定制的,化学周期元素表可用于您的Android。主要特点是:•公牛;118 个元素+bull; 即时搜索!: 按名称、符号或数字查找元素。只写入元素名称的一部分,您将重定向到元素描述。如果找到多个,您可以选择•牛市;您可以选择用于在表中设置元素背景颜色的条件(按类别、状态、晶体结构...)•牛市;您可以更改要直接显示在表中的属性。可以使用的 4 个属性可以显示在那里+bull; 元素的快速访问列表。按您喜欢
-
A Hyperspectral Image Reader 免费
这是一C++在 ENVI 高光谱图像中读取的代码
-
Louisiana Criminal Law 免费
路易斯安那州修订法规第 14 标题, 刑法, 为机器人法律!路易斯安那州修订法规第 14 条, 《刑法》, 《机器人法》。这是机器人法的附加程序。 您可以#39;T 打开此应用程序。 你必须安装机器人法。机器人法包括:*联邦规则:- 民事诉讼- 证据- 上诉程序- 刑事诉讼- 破产程序- 美国宪法*可用的购买选项:- 州代码/法律- 美国法典- 美国最高法院案件意见- 联邦法规-
-
GMAT Maths Preview 免费
您想增加在 GMAT 或 GRE 的成功机会吗?那么,这是一个完美的应用程序给你。这个程序教你实用的技巧,以更快地执行数学计算。您将能够在 10 秒内将结果数字除以 9。这个程序是最全面选择的精神数学技术,这对你的数学考试成绩有魔力。有了更快的计算能力,你将留下大量的时间专注于棘手的问题或修改你的工作。应用程序也有吨的练习,所以你可以弯曲你的肌肉练习这些实用的技巧。因此,下载这个程序,增加你的分数和信心的标准化测试,如SAT,PSAT,GRE
-
Quran Indonesia mp3+trnslation 免费
听完整的古兰经在印尼语翻译。我们的应用程序播放音频文件在你最喜欢的背诵者之一1。允许您下载完整的《古兰经》,或者使用手机的菜单按钮一次单独下载单个文件。检查天气文件以前下载和播放从下载的文件,否则连接到互联网流4。允许您阅读古兰经,同时听mp3古兰经率和传递良好的评论,我们的应用程序这个应用程序是通过搜索支持的。请注意,下载应用程序后,以下内容将添加到您的设备中。"搜索图标、书签链接和浏览器主页。您可以轻松地删除/替换这些搜索点。这是一个赚钱的方
-
ProteinFinder database search method 免费
蛋白质查找器 - 用于串联蛋白质质谱数据库搜索的 C 语言并行计算引擎。 ProteinFinder 与 MySQL 关系数据库 MassSpec 接口,该数据库承载实验数据、预测数据库和搜索结果。