Agda 1 1.0.2

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

О Agda 1

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