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