![](/statics/img/blank.png)
Coqtail
Bạn sẽ có thể tải xuống trong 5 giây.
Bạn cũng có thể nhấp vào Liên kết tải xuống bên ngoài sau để bắt đầu tải xuống:
http://sourceforge.net/projects/coqtail/files/coqtail.1.0rc1.tar.gz/download
Về Coqtail
Định lý COQ, Abstractions and Implementations (bachelor Level) Coqtail là một thư viện các bằng chứng toán học sử dụng trợ lý chứng minh Coq.
Các chương trình liên quan
-
Triplets / Triple Miễn phí
Ce logiciel recherche tous les triplets pythagoriciens que l'on peut cựu avec un nombre allant de 1 99999999. / Phần mềm này sẽ cho tất cả các Pythagorean ba mà chúng ta có thể hình thành với một số đi từ 1 đến 99999999.
-
FunnyRobot Platform Miễn phí
Dự án FunnyRobot thiết kế một bộ điều khiển robot giáo dục có thể lập trình thông qua USB. Cả phần cứng và phần mềm đều có thể cấu hình và mở rộng. Người dùng có thể xây dựng các chương trình với một thư viện C ++ và chạy chú
-
Merriam-Webster s Unabridged Dùng thử miễn phí
Từ điển quốc tế mới thứ ba của Merriam-Webster, Unabridged - từ điển toàn diện nhất của Mỹ.------------Chi tiết từ điển:& Hơn 257.244 mục và 700.000 định nghĩa& 143.000 từ nguyên mô tả nguồn gốc từ và 100.
-
Madagascar Miễn phí
Madagascar là một gói phần mềm để xử lý dữ liệu địa vật lý và các thí nghiệm số có thể tái sản xuất. Nhiệm vụ trọn gói là cung cấp một môi trường thuận tiện cho các nhà nghiên cứu làm việc với hình ảnh kỹ thuật số và xử lý dữ
-
Parable NKJV Miễn phí
MIỄN PHÍ: Toàn bộ Tin Mừng của John (2 giờ, 14 phút) với Lou Gossett, Jr. như John. Bất cứ lúc nào bạn có thể mua âm thanh hoàn chỉnh cho Dụ ngôn NKJV Cựu Ước hoặc bạn có thể mua sách riêng lẻ. Parable NKJV là một kịch bản kị
-
LibreEngineering Miễn phí
LibreEngineering - bộ thiết bị đo đạc, điện, cơ khí, quy trình tính toán kỹ thuật và các chương trình thiết kế và các công cụ khác. Được cấp phép theo GPL3. Được viết bằng Python với bộ công cụ Qt.
-
AVR Attiny26 Visual Programmer Miễn phí
Lập trình viên GUI trực quan cho bộ vi điều khiển Attiny26 để lắp ráp đầu ra, lắp ráp thành hexedecimal và tải lên phần cứng với giao diện trực quan (Tekbots-OSU).
-
GRE Mnemonics Wordlist Lite Miễn phí
-------------------Vui lòng hoàn thành khảo sát này để giúp chúng tôi cải thiện ứng dụng này.http://goo.gl/xwyyCX-------------------Ứng dụng xây dựng vocab hoàn hảo cho việc chuẩn bị GRE, CAT, PSAT, SAT, LSAT, GED,
-
Asmaul Husna Miễn phí
99 Tên của Thiên Chúa hoặc 99 Tên của Allah là tên của Thiên Chúa mà người Hồi giáo coi Thiên Chúa (Allah) và được mô tả trong Kinh Qur'an, và Sunnah, trong số những nơi khác.
-
Doxygen filters Miễn phí
Bộ lọc Doxygen cho các ngôn ngữ lập trình này: R từ GNU, q kx.com, MatLab từ MathWorks. Các chương trình này được thực hiện bằng C++ sử dụng Flex ++. Họ cung cấp các nguồn nội tuyến đầy đủ không chỉ định nghĩa chức năng.