Programmes par coq4eclipse.sf.net

Coq4Eclipse est un plugin pour la plate-forme Eclipse qui fournit une interface à l’assistant Coq Proof. Il prendra en charge l’utilisateur avec la mise en surbrillance syntaxe, les installations de recherche, les symboles ma