Atur cara mengikut coq4eclipse.sf.net

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.