Программы coq4eclipse.sf.net

Coq4Eclipse является плагином для платформы Eclipse, который обеспечивает интерфейс для помощника доказательства Coq. Он будет поддерживать пользователя с синтаксисом выделения, поиск объектов, математические символы, довольн