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

Coq4Eclipse

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

Coq4Eclipse adalah plugin untuk Platform Gerhana yang menyediakan antara muka kepada Pembantu Bukti Coq. Ia akan menyokong pengguna dengan sorotan syntax, kemudahan carian, simbol matematik, cetakan cantik, dan lain-lain.

sejarah versi

  • Versi N/A diposkan pada 2011-08-07
    Beberapa pembaikan dan pengemaskinian
  • Versi N/A diposkan pada 2011-08-07

Butiran Atur Cara

Atur Cara Berkaitan

  • Zinuc Percuma

    Adakah anda sentiasa bosan mencari kalkulator Windows dari beberapa lokasi pelik dari PC anda? Zinuc adalah web sahaja, sangat mudah, tetapi kalkulator yang kuat. Anda tidak perlu memuat turun apa-apa untuk menggunakannya. Li

  • RouteCalc Percuma

    Kalkulator Laluan Perintah untuk Penerbangan. Input: Cruise Speed, Fuel Burn, Arah Angin / Kelajuan, Jarak Segmen. Output: Galas Penerbangan, Kelajuan Tanah, Masa Segmen, Bahan Api Terbakar. Berurusan dengan Pelbagai Segmen d

  • Auditory Modelling Toolbox Percuma

    Kotak Alat Pemodelan Auditori adalah usaha komuniti untuk membina kotak alat yang mudah dan diuji dengan baik untuk melakukan pemodelan auditori di Matlab, Octave dan C.

  • sigTOOL Percuma

    sigTOOL menyediakan persekitaran analisis isyarat yang boleh diperluaskan pengguna untuk memproses data elektrofisiologi dalam MATLAB. Neuron spike-kereta api, + spektrum dan penganalisis domain masa dibina. Lihat http://dx.d

  • Periodic Table Droid Percubaan Percuma

    Jadual Unsur-unsur Berkala Yang paling lengkap, disesuaikan dan kimia yang tersedia untuk Android anda.Ciri-ciri utama adalah:& lembu jantan; 118 elemen& lembu jantan; Carian segera!: Cari unsur mengikut nama

  • A Hyperspectral Image Reader Percuma

    Ini adalah kod C ++ untuk dibaca dalam Imej Hiperspectral ENVI

  • Louisiana Criminal Law Percuma

    Tajuk 14 Daripada Statut Yang Disemak Louisiana, Undang-undang Jenayah, untuk DroidLaw!Tajuk 14 Statut Yang Disemak Semula Louisiana, Undang-undang Jenayah, untuk DroidLaw.INI ADALAH TAMBAHAN UNTUK DROIDLAW. ANDA &b

  • GMAT Maths Preview Percuma

    Adakah anda ingin meningkatkan peluang kejayaan anda dalam GMAT atau GRE? Kemudian ini adalah aplikasi yang sempurna untuk anda. Aplikasi ini mengajar anda petua praktikal untuk melakukan pengiraan matematik dengan lebih cepa

  • Quran Indonesia mp3+trnslation Percuma

    Dengar lengkapkan al-Quran dalam terjemahan Indonesia. Aplikasi kami memainkan fail audio dalam salah satu reciter1 kegemaran anda. Membolehkan anda memuat turun al-Quran lengkap atau anda boleh memuat turun fail tunggal seca

  • ProteinFinder database search method Percuma

    ProteinFinder - bahasa C selari enjin pengkomputeran untuk carian pangkalan data spectrometry protein seiring. ProteinFinder antara muka dengan pangkalan data hubungan MySQL MassSpec yang menjadi tuan rumah data eksperimen,