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