![](/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 介面,該資料庫承載實驗數據、預測資料庫和搜尋結果。