Pcoq est une toute jolie interface graphique pour coq. Elle est en partie en java, donc (particulièrement sur Sparc) c'est assez lent.