Установка:
Для установки acl2-source в Ubuntu / Linux Mint / Debian, введите в Терминал:
Подробная информация о пакете:
Вычислительная логика для аппликативного общего Lisp: исходные файлы
-
Зависимости:
-
Общая инфраструктура для строительства и установки TeX