![](/statics/img/blank.png)
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。