Coq4Eclipse
Lisensi: Gratis Ukuran file: N/A
Peringkat Pengguna: 3.0/5 - 1 Suara
Harap tunggu... Tautan unduhan Anda sedang diverifikasi untuk konten berbahaya.
Anda dapat mengunduh dalam 5 detik.
Anda dapat mengunduh dalam 5 detik.
Tentang Coq4Eclipse
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.