Отправить программное обеспечение
  1. Дома
  2. Windows
  3. Других
  4. Coq4Eclipse
  5. Download

Coq4Eclipse

Лицензии: Бесплатный ‎Размер файла: N/A
‎Рейтинг пользователей: 3.0/5 - ‎1 ‎Голосов

О Coq4Eclipse

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

Похожие программы

  • Zinuc Бесплатный

    Вы всегда устали от поиска калькулятор Windows из какого-то странного места от вас PC? Зинук является веб только, очень простой, но мощный калькулятор. Вам не нужно ничего загружать, чтобы использовать его. Проверьте веб-стра

  • RouteCalc Бесплатный

    Калькулятор маршрута командной линии для авиации. Входы: Крейсерская скорость, Топливный ожог, Направление ветра/Скорость, Расстояние сегмента. Выходы: Подшипник полета, Наземная скорость, Время сегмента, Сгорание топлива. Сд

  • Auditory Modelling Toolbox Бесплатный

    Слуховое моделирование Toolbox является сообщество усилия по созданию простой и хорошо проверенный инструментарий для выполнения слухового моделирования в Matlab, Octave и C.

  • sigTOOL Бесплатный

    sigTOOL обеспечивает распространяемую пользователем среду анализа сигналов для обработки электрофизиологических данных в MATLAB. Нейрон шип-поезд, спектральный и тайм-домен анализы встроены дюйма Смотрите http://dx.doi.org/10

  • Periodic Table Droid Бесплатная пробная версия

    Самая полная, настраиваемая, Химическая периодическая таблица элементов, доступная для вашего Android.Основными особенностями являются:Бык; 118 элементов«Бык; Мгновенный поиск!: Найти элементы по имени, символу или н

  • A Hyperspectral Image Reader Бесплатный

    Это код СЗ для чтения в гиперспектральных изображениях ENVI

  • Louisiana Criminal Law Бесплатный

    Раздел 14 Луизиана Пересмотренные уставы, уголовное право, для DroidLaw!Раздел 14 Луизианы Пересмотренные уставы, уголовное право, для DroidLaw.ЭТО ДОПОЛНЕНИЕ ДЛЯ ДРОИДЛОУ. Вы можете и #39; T ОТКРЫТЬ ЭТО ПРИЛОЖЕНИЕ. ВЫ

  • GMAT Maths Preview Бесплатный

    Вы хотите повысить свои шансы на успех в GMAT или GRE? Тогда это идеальное приложение для вас. Это приложение учит вас практические советы для выполнения математических расчетов быстрее. Вы сможете несколько 97 и 93 и раздели

  • Quran Indonesia mp3+trnslation Бесплатный

    Слушайте полный священный Коран в индонезийском переводе. Наше приложение воспроизведения аудио файлов в одном из ваших любимых reciter1. Позволяет скачать полный Коран или вы можете скачать один файл индивидуально за один ра

  • ProteinFinder database search method Бесплатный

    ProteinFinder - параллельный вычислительный движок C для поиска базы данных тандемной белковой масс-спектрометрии. ProteinFinder взаимодействует с реляционной базой данных MassS'L, которая размещает экспериментальные данные,