![](/statics/img/blank.png)
Coq4Eclipse
Lesen: Percuma Saiz fail: N/A
Penarafan Pengguna: 3.0/5 - 1 Undi
Sila tunggu... Pautan muat turun anda sedang disahkan untuk kandungan berniat jahat.
Anda boleh memuat turun dalam masa 5 saat.
Anda boleh memuat turun dalam masa 5 saat.
Tentang Coq4Eclipse
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.