![](/statics/img/blank.png)
Coqtail
Anda boleh memuat turun dalam masa 5 saat.
Anda juga boleh klik pada Pautan Muat Turun Luaran berikut untuk memulakan muat turun:
http://sourceforge.net/projects/coqtail/files/coqtail.1.0rc1.tar.gz/download
Tentang Coqtail
CoQ Theorems, Abstatections and Implementations (Ijazah Sarjana Muda) Coqtail adalah perpustakaan bukti matematik menggunakan pembantu bukti Coq.
Atur Cara Berkaitan
-
Triplets / Triple Percuma
Ce logiciel recherche tous les triplets pythagoriciens que l'on peut bekas avec unmbre allant de 1 999999999. / Perisian ini mencari semua triple Pythagorean yang boleh kita bentuk dengan nombor pergi dari 1 hingga 99999999.
-
FunnyRobot Platform Percuma
Projek FunnyRobot mereka bentuk pengawal robot pendidikan yang boleh diproduksi melalui USB. Kedua-dua perkakasan dan perisian dikonfigurasikan dan boleh diperluas. Pengguna boleh membina program dengan perpustakaan C ++ dan
-
Merriam-Webster s Unabridged Percubaan Percuma
Kamus Antarabangsa Baru Ketiga Merriam-Webster, Unabridged - kamus yang paling komprehensif di Amerika.------------Butiran Kamus:& lembu jantan; Lebih daripada 257,244 penyertaan dan 700,000 definisi& lemb
-
Madagascar Percuma
Madagascar adalah pakej perisian untuk pemprosesan data geofizikal dan eksperimen berangka yang boleh dihasilkan semula. Misi pakej adalah untuk menyediakan persekitaran yang mudah bagi penyelidik yang bekerja dengan imej dig
-
Parable NKJV Percuma
PERCUMA: Seluruh Injil John (2 jam, 14 minit) menampilkan Lou Gossett, Jr. sebagai John. Pada bila-bila masa anda boleh membeli audio lengkap untuk NKJV Lama Parable & Perjanjian Baru atau anda boleh membeli buku secara i
-
LibreEngineering Percuma
LibreEngineering - suite instrumentasi, elektrik, mekanikal, pengiraan kejuruteraan proses dan program reka bentuk dan alat lain. Dilesenkan di bawah GPL3. Ditulis di Python dengan toolkit Qt.
-
AVR Attiny26 Visual Programmer Percuma
Pengaturcara VISUAL GUI untuk attiny26 microcontroller untuk pemasangan output, memasang ke heksedecimal dan memuat naik ke perkakasan dengan antara muka intuitif (Tekbots-OSU).
-
GRE Mnemonics Wordlist Lite Percuma
-------------------Sila lengkapkan kaji selidik ini untuk membantu kami memperbaiki aplikasi ini.http://goo.gl/xwyyCX-------------------Aplikasi bangunan vocab sempurna untuk prep GRE, CAT ,PSAT, SAT, LSAT, GED, ES
-
Asmaul Husna Percuma
99 Nama Allah atau 99 Nama Allah adalah nama-nama Allah yang umat Islam menganggap Tuhan (Allah) dan yang dihuraikan dalam Al-Qur'an, dan Sunnah, antara tempat lain.
-
Doxygen filters Percuma
Penapis doxygen untuk bahasa pengaturcaraan ini: R dari GNU, q dari kx.com, MatLab dari MathWorks. Atur cara ini dilaksanakan dalam C++ menggunakan Flex+.. Mereka menyediakan sumber sebaris penuh bukan hanya berfungsi definis