Agda 1 1.0.2
Вы сможете скачать в течение 5 секунд.
Вы также можете нажать на следующую внешнюю ссылку скачать, чтобы начать загрузку:
http://sourceforge.net/projects/agda/files/Agda/1.0.2/Agda-1.0.2a-latin1.tar.gz/download
О Agda 1
Agda является системой для постепенной разработки доказательств и программ. Это исходный проект для PREVIOUS Agda (Agda 1). Более новая версия Agda (Agda 2) в бета-тестировании доступна от: http://wiki.portal.chalmers.se/agda/
Похожие программы
-
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