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

Agda 1 1.0.2

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

Agda является системой для постепенной разработки доказательств и программ. Это исходный проект для PREVIOUS Agda (Agda 1). Более новая версия Agda (Agda 2) в бета-тестировании доступна от: http://wiki.portal.chalmers.se/agda/

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

  • Версия 1.0.2 размещено на 2008-04-23
    Несколько исправлений и обновлений
  • Версия 1.0.2 размещено на 2008-04-23

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

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

  • Survival Medicine Guide Бесплатная пробная версия

    "Требуется бесплатный Adobe Reader"Это руководство медицины выживания в случае, если то, что мы все боимся на самом деле происходит. Это большой комплимент для любого хорошего руководства выживания. Эта информация может б

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

    Terz невероятный AutoTagger является автоматизированным аудио файл Tagger и файл Renamer. Он использует информацию, предоставленную musicbrainz. Используя контекстную информацию Terz достигает очень хороших результатов. Други

  • Lua ODE Бесплатный

    Lua ODE является привязкой OpenDE для lua языка для платформ Windoze, OS X и Linux.

  • assistent-fah Бесплатный

    Помощник для Folding@home вычислить среднюю скорость вашего компьютера в Folding@home проекта вычислений по журналу клиентов.Помощник для Folding@home лицензируется в соответствии с общей публичной лицензией GNU

  • Spanish Tester Lite Бесплатная пробная версия

    Испанский Tester Pro тестирует вас на испанских спряжениях глаголов и согласовании между частями речи, генерируя смоделированные вопросы викторины.Вопросы с несколькими вариантами и заполнением пробелов проверяют ваши зна

  • IRBEM-LIB Бесплатный

    IRBEM-LIB предоставляет процедуры для вычисления магнитных координат для любого места в магнитном поле Земли, для выполнения конверсий координат, для оценки геофизики /модели космической физики, а также для распространения ор

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

    libTopo и TopoMap являются инструментами для использования, преобразования, анализа и отображения топографические карты, такие как ETOPO2, ETOPO5 и GLOBE. TopoMap является интерфейсом командной строки для преобразования топог

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

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

  • Analysis & Reconstruction Sound Бесплатный

    Звуковой движок анализа и реконструкции анализирует звуковой файл в спектрограмму и может синтезировать эту спектрограмму или любое другое созданное пользователем изображение обратно в звук.

  • G200X Motion controller Бесплатный

    Прошивка и gui код для контроллера движения Geckodrive G200X