Kirim Perangkat Lunak
  1. Rumah
  2. Windows
  3. Lain
  4. Coq4Eclipse

Coq4Eclipse

Lisensi: Gratis ‎Ukuran file: N/A
‎Peringkat Pengguna: 3.0/5 - ‎1 ‎Suara
Download

Coq4Eclipse adalah plugin untuk Eclipse Platform yang menyediakan antarmuka ke Coq Proof Assistant. Ini akan mendukung pengguna dengan penyorotan sintaks, fasilitas pencarian, simbol matematika, pretty-print, dll.

Riwayat versi

  • Versi N/A diposting di 2011-08-07
    Beberapa perbaikan dan pembaruan
  • Versi N/A diposting di 2011-08-07

Detil Program

Program Terkait

  • Zinuc Gratis

    Apakah Anda selalu bosan mencari kalkulator Windows dari beberapa lokasi aneh dari PC Anda? Zinuc adalah kalkulator web saja, sangat sederhana, tetapi kuat. Anda tidak perlu mengunduh apa pun untuk menggunakannya. Lihat halam

  • RouteCalc Gratis

    Kalkulator Rute Baris Perintah untuk Penerbangan. Input: Kecepatan Pelayaran, Pembakaran Bahan Bakar, Arah/Kecepatan Angin, Jarak Segmen. Output: Bantalan Penerbangan, Kecepatan Tanah, Waktu Segmen, Pembakaran Bahan Bakar. Pe

  • Auditory Modelling Toolbox Gratis

    Auditory Modelling Toolbox adalah upaya komunitas untuk membangun kotak alat yang sederhana dan teruji dengan baik untuk melakukan pemodelan pendengaran di Matlab, Oktaf dan C.

  • sigTOOL Gratis

    sigTOOL menyediakan lingkungan analisis sinyal yang dapat diperluas pengguna untuk memproses data elektrofisiologis dalam MATLAB. Neuron spike-train, + analisis spektral dan time-domain bawaan. Lihat http://dx.doi.org/10.1016

  • Periodic Table Droid Uji Coba Gratis

    Tabel Elemen Berkala Kimia yang paling lengkap, dapat disesuaikan tersedia untuk Android Anda.Fitur utamanya adalah:& banteng; 118 elemen• Pencarian instan!: Temukan elemen berdasarkan nama, simbol, atau ang

  • A Hyperspectral Image Reader Gratis

    Ini adalah kode C++ untuk dibaca dalam Gambar ENVI Hyperspectral

  • Louisiana Criminal Law Gratis

    Gelar 14 dari Statuta Yang Direvisi Louisiana, Hukum Pidana, untuk DroidLaw!Gelar 14 dari Statuta Revisi Louisiana, Hukum Pidana, untuk DroidLaw.INI ADALAH ADD-ON UNTUK DROIDLAW. ANDA ' T BUKA APLIKASI INI. AND

  • GMAT Maths Preview Gratis

    Apakah Anda ingin meningkatkan peluang kesuksesan Anda di GMAT atau GRE? Maka ini adalah aplikasi yang sempurna untuk Anda. Aplikasi ini mengajarkan Anda tips praktis untuk melakukan perhitungan matematika lebih cepat. Anda a

  • Quran Indonesia mp3+trnslation Gratis

    Dengarkan al-Quran suci lengkap dalam terjemahan Bahasa Indonesia. Aplikasi kami memutar file audio di salah satu reciter favorit Anda1. Memungkinkan Anda untuk mengunduh Al-Quran lengkap atau Anda dapat mengunduh file tungga

  • ProteinFinder database search method Gratis

    ProteinFinder - mesin komputasi paralel bahasa C untuk pencarian database spektrometri massa protein tandem. ProteinFinder disamakan dengan database relasional MySQL MassSpec yang menghosting data eksperimental, database yan