Hantar Perisian
  1. Rumah
  2. Windows
  3. Lain
  4. Coqtail

Coqtail

Lesen: Percuma ‎Saiz fail: N/A
‎Penarafan Pengguna: 4.0/5 - ‎2 ‎Undi
Muat turun

CoQ Theorems, Abstatections and Implementations (Ijazah Sarjana Muda) Coqtail adalah perpustakaan bukti matematik menggunakan pembantu bukti Coq.

sejarah versi

  • Versi files diposkan pada 2010-04-07
    Beberapa pembaikan dan pengemaskinian
  • Versi N/A diposkan pada 2010-04-07

Butiran Atur Cara

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