Coqtail
您將能夠在 5 秒內下載。
您也可以點擊以下外部下載連結開始下載:
http://sourceforge.net/projects/coqtail/files/coqtail.1.0rc1.tar.gz/download
關於 Coqtail
COQ 定理、抽象和實現(bachelor 級別)Coqtail 是使用 Coq 校樣助手的數學校樣庫。
相關軟體
-
Triplets / Triple 免費
Ce 邏輯 recherche tous les 三胞胎 pythagoriciens que l 'on peut 前 avec un nombre allant de 1 9999999。/ 這個軟體尋找所有的畢達哥拉斯三重, 我們可以形成一個數位從 1 到 9999999 。
-
FunnyRobot Platform 免費
FunnyRobot 項目設計了一個可透過 USB 程式設計的教育機器人控制器。硬體和軟體都是可配置和可擴充的。用戶可以使用一個C++構建程式,並在即時操作系統下運行它們。
-
Merriam-Webster s Unabridged 免費試用
梅里亞姆-韋伯斯特的第三本新國際詞典,《烏納布裡奇》——美國最全面的詞典。------------字典詳細資訊:•牛市;超過257,244個條目和700,000個定義•公牛;143,000個描述詞源和100,000個引文的詞源• 公牛; 1, 100 個同義詞段落•公牛;特別更新的新單詞和含義的增編部分• 公牛; 擴展同義詞庫。------------搜尋並輸入功能:•bull; 全文搜尋功能
-
Madagascar 免費
馬達加斯加是一個用於地球物理數據處理和可重複數值實驗的軟體包。包裝任務是為從事數位圖像和數據處理的研究人員提供一個方便的環境。
-
Parable NKJV 免費
免費: 整個約翰福音 (2 小時 14 分鐘) 以小盧 · 戈塞特為主角的約翰。任何時候,你可以購買完整的音訊的寓言NKJV舊約和新約,或者你可以單獨購買書籍。《寓言NKJV》是一部以引人注目的戲劇性音頻劇場形式呈現的《聖經》中值得信賴的新國王詹姆斯版本(NKJV)的劇本戲劇化。音訊專案花了4年時間製作和特色好萊塢演員的才華,包括邁克爾·約克(解說員),理查德·德雷福斯(摩西),加里·西尼斯(大衛),傑西·麥卡特尼(年輕的大衛和丹尼爾),史黛西·
-
LibreEngineering 免費
自由工程 - 儀器儀錶套件,電氣,機械,工藝工程計算和設計程式等工具。根據 GPL3 獲得許可。使用 Qt 工具套件在 Python 中編寫。
-
AVR Attiny26 Visual Programmer 免費
Attiny26 微控制器的可視化 GUI 程式師,用於輸出裝配、組裝成十六進位並上傳到具有直觀介面(Tekbots-OSU)的硬體。
-
GRE Mnemonics Wordlist Lite 免費
-------------------請完成此調查,以幫助我們改進這個程式。http://goo.gl/xwyyCX。-------------------完美的詞彙建構應用程式準備GRE, CAT, PSAT, SAT, LSAT, GED, ESL, GMAT, ACT, MCAT, TOEFL, 雅思, PCAT, OAT 和更多.助記符 - 是一種有助於長期記憶的學習技術。它們通過提高整合過程的效率來做到這一點
-
Asmaul Husna 免費
99個神的名字或99個真主的名字是穆斯林視神(真主)的上帝的名字,在《古蘭經》和《聖訓》中描述。
-
Doxygen filters 免費
這些程式設計語言的 Doxygen 篩選器: GNU 的 R, kx.com的 q, MathWorks 的 MatLab。這些程式在使用 Flex+ C++中實現。它們提供完整的內聯源,而不僅僅是函數定義。