Отправить программное обеспечение
  1. Дома
  2. Linux
  3. Других
  4. Archive of Formal Proofs

Archive of Formal Proofs 2011

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

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

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

  • Версия afp-Isabelle2011 размещено на 2011-04-03
    Несколько исправлений и обновлений
  • Версия afp-Isabelle2011 размещено на 2011-04-03

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

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

  • ADAM Abstract Data Access Models Бесплатный

    2 Java-инфраструктуры с переходными и постоянными моделями объектов, основанными на нестандартной подходе (менее очевидной, но более быстрой разработке): объект является набором названных полей. 3 неконтумные библиотеки, упро

  • Jedora Remix VM Бесплатный

    Виртуальная машина Linux прибор (для Virtualbox). Этот Fedora Remix делает акцент на Java-приложениях. Включает OpenOffice.org, OpenJDK, плагины браузера (IcedTea) и популярные Java-приложения, такие как Azureus/Vuze, jEdit и

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

    DataAide – это VB.Net-настольное приложение, которое использует клиентские инструменты для создания VB.Net, C или VB6 классов и сохраненных процедур для таблиц в базе данных сервера S'L Server 2k. Он также генерирует ADO.Net

  • BlackFox OM (30' Series) Бесплатный

    BlackFox OM (BlackFox, The Object Model) — это библиотека для ведения и манипулирования объектных моделями любых систем, приложений и библиотек. Вы можете использовать его как часть инструментов UML, часть генераторов кода, ч

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

    Цель проекта заключается в том, чтобы позволить использовать обычную веб-камеру в качестве устройства интерфейса человека (HID). Примеры того, как использовать это программное обеспечение будет использоваться являются: мышь,

  • Prop compiler compiler Бесплатный

    Prop - это язык, соответствующий шаблону, основанный на языке C. Он реализует алгебраические типы данных, сопоставление и переписывание шаблонов, а также генерирует код СЗ в качестве вывода.

  • ga-flamoot Бесплатный

    Генетический алгоритм в Python для эволюционирующие программы, которые пишут данное строку в выделенное пространство данных, используя составной машинный язык только с 7 инструкциями и разворотом потока.

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

    Фенхель – это библиотека компонентов для хранения и обработки данных, написанная в СЗ. Он разработан как подпроект проекта Eigenbase, а также служит субстратом для проекта Farrago.

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

    Библиотека NExcel позволяет приложению .NET читать файлы г-жи Excel, совместим с Excel 97 и верхним. Нет необходимости устанавливать Ms Office Excel или какие-либо сторонние библиотеки. По мотивам JExcelAPI Эндрю Хана.

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

    OpenTag — это полное полное полное представительный стек связи для DASH7 Mode 2 (ISO 18000-7.4). Он предназначен для запуска на встроенных HW, особенно RF SoCs, но он может быть портирован практически на что угодно. Главным п