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

Coqtail

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

Теоремы, абстракции и реализации (бакалавр уровня) Coqtail является библиотека математических доказательств с помощью помощника доказательства Coq.

история версии

  • Версия files размещено на 2010-04-07
    Несколько исправлений и обновлений
  • Версия N/A размещено на 2010-04-07

Подробная информация о программе

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

  • Triplets / Triple Бесплатный

    Ce logiciel recherche tous les triplets pythagoriciens que l'on peut former avec un nombre allant de 1 99999999. / Это программное обеспечение ищет все Pythagorean тройной, который мы можем сформировать с числом происходит от

  • FunnyRobot Platform Бесплатный

    Проект FunnyRobot разрабатывает образовательный контроллер робота, который программируемый через USB. Как аппаратное, так и программное обеспечение настраиваемы и являются смягчающими. Пользователи могут создавать программы с

  • Merriam-Webster s Unabridged Бесплатная пробная версия

    Третий новый международный словарь Merriam-Webster, Unabridged - самый полный словарь Америки.------------Словарь Подробная информация:«бык; более 257 244 записей и 700 000 определений«бык»; 143 000 этимологий, оп

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

    Мадагаскар является программным пакетом для геофизической обработки данных и воспроизводимых численных экспериментов. Миссия пакета заключается в предоставлении удобной среды для исследователей, работающих с цифровым изображе

  • Parable NKJV Бесплатный

    БЕСПЛАТНО: Все Евангелие от Иоанна (2 часа 14 минут) с участием Лу Госсетт-младший, как Джон. В любое время вы можете приобрести полный аудио для притчи NKJV Старый и Новый Завет или вы можете приобрести книги по отдельности.

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

    LibreEngineering - набор приборостроения, электротехнических, механических, процессных инженерных расчетов и проектных программ и других инструментов. Лицензия под GPL3. Написано в Python с набором инструментов.

  • AVR Attiny26 Visual Programmer Бесплатный

    Визуальный графический интерфейс программиста Attiny26 для вывода сборки, сборки в шестисексемаль и загрузки на аппаратное обеспечение с интуитивным интерфейсом (Tekbots-OSU).

  • GRE Mnemonics Wordlist Lite Бесплатный

    -------------------Вроде завершить этот опрос, чтобы помочь нам улучшить это приложение.http://goo.gl/xwyyCX-------------------Идеальное приложение для создания vocab для подготовки GRE, CAT, PSAT, SAT, LSAT, GED,

  • Asmaul Husna Бесплатный

    99 Имен Божьих или 99 Имен Аллаха – это Имена Бога, по которым мусульмане считают Бога (Аллаха) и которые описаны в Коране и Сунне, среди других мест.

  • Doxygen filters Бесплатный

    Фильтры Doxygen для этих языков программирования: R от GNU, q от kx.com, MatLab от MathWorks. Эти программы реализуются в СЗ с использованием Flex. Они обеспечивают полные источники, а не только функциональные определения.