Coq4Eclipse является плагином для платформы Eclipse, который обеспечивает интерфейс для помощника доказательства Coq. Он будет поддерживать пользователя с синтаксисом выделения, поиск объектов, математические символы, довольно печати и т.д.
история версии
- Версия N/A размещено на 2011-08-07
Несколько исправлений и обновлений - Версия N/A размещено на 2011-08-07
Подробная информация о программе
- Категории: Образования > Других
- Издателя: coq4eclipse.sf.net
- Лицензии: Бесплатный
- Цена: N/A
- Версия: Array
- Платформы: windows