Lurch 0.4
您将能够在 5 秒内下载。
您也可以点击以下外部下载链接进行下载:
http://sourceforge.net/projects/lurch/files/Lurch%20Lite/0.4/LurchLite-0.4-Setup.exe/download
关于 Lurch
教学和学习数学证明软件 当大多数数学证明软件专注于形式逻辑(或其他数学专业领域)时,Lurch 的目标是真正通用的,具有一个跟踪的用户界面。
相关软件
-
TOTAL .NET Protector 免费试用
由于 .NET 是一个托管环境,因此使用反射器或折射器向任何人打开代码始终存在缺点。Skater TOTAL 将程序集的可竞争 Microsoft 中间语言代码 (MSIL 或 CIL) 转换为本机格式,同时保持所有 .NET 元数据完好无损,这提供了与本机 C/C++ 代码相同的保护级别。软件保护编程是大多数软件开发人员的一个重要领域。软件保护技术不像可以看到和比较的明显功能。因此,大多数软件保护供应商可以引入令人印象深刻的技术,这些技
-
Ziga 免费
以 Java 编写的文件共享应用程序。它使用模块支持不同的协议。目前,有一个模块的Napster和Gnutella协议可用。
-
Scriptol Xul Dev 免费
Xul Dev 意味着 Xul 开发环境。IDE 旨在设计 Xul 接口,并制作任何编程语言的程序。IDE 以 Scriptol 格式编写C++以源形式提供,可作为二进制可执行文件提供。
-
cmpio library 免费
Libcmpio是一个通用库,它提供了一种简单的方法来处理数据文件与可变记录长度,记录压缩,透明卷创建和控制以及不同平台之间的可移植性。
-
Nuke My Tablet 免费试用
Nuke My 平板电脑通过安全删除您的个人数据(如照片和视频)以及将手机返回到出厂设置来保护您的隐私。现在,您可以安全地重新调整旧设备用途或升级当前设备,而无需担心未经授权的数据恢复。Nuke My 平板电脑提供安心,这仅来自您知道您的个人数据不会受到损害。关于应用遵循国家标准与技术研究所 (NIST) 指南,Nuke My 平板电脑会消毒您的内部 SD 卡,其中 Android 平板电脑通常会保存图片、下载、文档和其他此类个人数据。然后,我们
-
the prefuse visualization toolkit 免费
用于构建交互式信息可视化应用程序的软件工具。Prefuse 支持一组丰富的功能,用于 Java(预注入)和 Flash(预注入光晕)的数据建模、可视化、动画和交互。
-
AJIO 免费
AJIO 允许从一个或多个类构建罐子。创建的 jar 文件包含所有引用 jar 文件中的所有相关类。Ajio permet de crer Un jar partir d 'une ou plusieurs 类和 de leur dendances 自动化。
-
AdaDLX 免费
这是一个阿达实现舞蹈链接X算法,如在唐纳德E.克努斯论文。AdaDLX 用于解决八皇后谜题、数独网格和盒框拼图中的集团。
-
Php5 Meta-Model 免费
Php 5 模型。此项目托管 ecore Php 5 模型及其生成器。
-
Spyc 免费
Spyc 是 PHP 的简单 YAML 加载器/转储器类。它可用于将 YAML 文件加载到 PHP 数据结构中,或将 PHP 数组转储到简单的 YAML 中。有关 YAML 的更多了解,请参阅www.yaml.org。