Archive of Formal Proofs 2011
您将能够在 5 秒内下载。
您也可以点击以下外部下载链接进行下载:
http://sourceforge.net/projects/afp/files/afp-Isabelle2011/afp-2011-04-01.tar.gz/download
关于 Archive of Formal Proofs
正式证明档案是证明库、示例和更大的科学开发,机械地检查定理证明伊莎贝尔的集合。它是以科学期刊的方式组织的。提交内容由裁判。
相关软件
-
ADAM Abstract Data Access Models 免费
2 Java 框架,具有基于非标准方法的瞬态和持久对象模型(不太明显但开发速度更快):对象是一组命名字段。3 个非对象库,简化了对存储在 RDB、文本文件等中的表的访问。
-
Jedora Remix VM 免费
虚拟机 Linux 设备(用于虚拟框)。此 Fedora 混音强调基于 Java 的应用程序。包括OpenOffice.org、OpenJDK、浏览器插件 (IcedTea) 和流行的基于 Java 的应用程序,如 Azureus/Vuze、jEdit 等。
-
DataAide 免费
DataAide 是一个 VB.Net 桌面应用程序,它利用 SQL Server 2000 客户端工具生成 VB.Net、C#或 VB6 类,并存储 SQL Server 2k 数据库中的表的过程。它还生成ADO.Net ADO 代码来调用存储过程。
-
BlackFox OM (30' Series) 免费
BlackFox OM(BlackFox,对象模型)是一个用于存储和操作任何系统、应用程序和库的对象模型的库。您可以将它用作 UML 工具、代码生成器的一部分、面向对象的操作系统等的一部分。
-
InfraHID 免费
该项目的目的是允许将普通网络摄像头用作人机界面设备 (HID)。如何使用该软件的示例包括:鼠标、控制视频游戏、电子白板或平板电脑的替代品。
-
Prop compiler compiler 免费
Prop 是基于语言的匹配C++。它实现代数数据类型、模式匹配和重写,并生成C++作为输出。
-
ga-flamoot 免费
Python 中的一种遗传算法,用于将给定字符串写入分配的数据空间的遗传算法,使用仅包含 7 个指令和流反转的制造机器语言。
-
Fennel 免费
Fennel 是一个数据存储和处理组件库,以C++。 它是作为Eigenbase项目的子项目开发的,也是法拉戈项目的基板。
-
NExcel 免费
NExcel 库允许 .NET 应用程序读取 Excel 女士文件,与 Excel 97 和上部兼容。无需安装 Office Excel 女士或任何第三方库。根据安德鲁 · 汗的 JexcelAPI 。
-
OpenTag 免费
OpenTag 是 DASH7 模式 2(ISO 18000-7.4)的全功能通信堆栈。它打算在嵌入式硬件上运行,尤其是RF SoC,但它几乎可以移植到任何方面。OpenTag 的主要壮举是其大型功能集,但占地面积小。