HLM Proof Assistant

相關軟體

• MLA Auto-Generator 免費

  為引用的作品或書目頁面生成格式正確的（MLA、APA、芝加哥、CPE、圖拉比安）條目。

• Animal Imaging 免費

  "動物成像"是一個收集和傳播與動物體內成像相關的成像技術（如CT、MRI、PET、超聲波）資訊的專案。

• Wordcorr 免費

  Wordcorr 自動執行繁瑣且危險的記錄過程，用於計算自然語言的歷史發展中使用的聲音對應關係。它允許訪問所有數據，所有的時間。最初的支持來自NSF。

• aMS - advanced Modeling System 免費

  具有與各種類型的人稱系統一起使用的使用者分析/建模系統。其優勢是，此系統不包括在應用程式中，並可用於許多目的和不同的上下文。

• X-Specs 免費

  庫和工具，支援軟體設計，使用可執行代碼作為規範，支援測試驅動開發和其他敏捷方法。

• Action Movies 免費

  你喜歡測驗嗎？你喜歡 00 年代流行文化嗎？你喜歡免費的東西嗎？！那麼這是您的應用程式...有趣， 免費多選瑣事測驗在你的口袋裡！你知道古德費拉和教父的區別嗎？如果你覺得你知道什麼是詹姆斯邦德或印第安那鐘斯， 那麼這是你的測驗。猶豫不決的時間已經結束， 所以安頓下來， 把自己綁在一些全動作的電影挑逗。如果你迴避那些承諾浪漫和卡通藍鳥的電影，寧願看到好人試圖抓住壞人，那麼你™在這裡得分很好。和電影本身一樣，這些問題都是從第一次追車到最後一次槍戰的。

• New Super Mario Bros Guide 免費

  新的超級馬里奧兄弟 WII 指南 " 一個非官方的演練指南 [ 包括： 步行 - 世界 1 - 世界 2 - 世界 3etc] [戰爭坎農塞特。秘密 - 秘密目標。蘑菇房子集。標籤："新的超級馬里奧兄弟wi""新超級馬里奧兄弟"新超級馬里奧兄弟為d""新馬里奧為d"[法律免責聲明：新的超級馬里奧兄弟的非官方遊戲指南不是官方指南或連接到遊戲開發商或出版商。所有角色、位置

• Baby's number school(flower) 免費試用

  嬰兒的最佳應用。寶寶可以用可愛的花學習數位。我們支援 10 張花卉照片和 1~10 個數位。它説明你的寶寶發展大腦。有一個有趣的時間與這個程式！★ 免費版本下載 ★http://bit.ly/tBMGko。------------------------------------------123 嬰兒數學校 - 免費-----------------------------

• RAPID 免費

  RAPID（REBOL API DocuMentor）提供了一種從 REBOL 原始碼取得文件並發布為各種輸出格式（如 HTML、PDF、make-doc-pro 等）的方法。

• Logic Solver (truth tables) 免費試用

  此程式顯示真話表，使用您喜歡的字母輸入命題，例如：PvQ+R 或 Av=B，程式顯示真話表。此程式還透過顯示一個可能的邏輯等價清單來説明您簡化命題。