Installation

In this tutorial we learn how to install acl2-books-certs on Ubuntu 22.04. acl2-books-certs is Computational Logic for Applicative Common Lisp Introduction In this tutorial we learn how to install acl2-books-certs […]

In this tutorial we learn how to install acpi-support on Ubuntu 22.04. acpi-support is scripts for handling many ACPI events Introduction In this tutorial we learn how to install acpi-support

In this tutorial we learn how to install acl2-books-source on Ubuntu 22.04. acl2-books-source is Computational Logic for Applicative Common Lisp Introduction In this tutorial we learn how to install acl2-books-source

In this tutorial we learn how to install acpica-tools on Ubuntu 22.04. acpica-tools is ACPICA tools for the development and debug of ACPI tables Introduction In this tutorial we learn

In this tutorial we learn how to install acl2-doc on Ubuntu 22.04. acl2-doc is Computational Logic for Applicative Common Lisp Advertisements Introduction In this tutorial we learn how to install

In this tutorial we learn how to install acl2-infix on Ubuntu 22.04. acl2-infix is Computational Logic for Applicative Common Lisp Introduction In this tutorial we learn how to install acl2-infix

In this tutorial we learn how to install acl2-infix-source on Ubuntu 22.04. acl2-infix-source is Computational Logic for Applicative Common Lisp Introduction In this tutorial we learn how to install acl2-infix-source

In this tutorial we learn how to install acl2-source on Ubuntu 22.04. acl2-source is Computational Logic for Applicative Common Lisp Introduction In this tutorial we learn how to install acl2-source

In this tutorial we learn how to install aclock.app on Ubuntu 22.04. aclock.app is Analog dockapp clock for GNUstep Introduction In this tutorial we learn how to install aclock.app on

In this tutorial we learn how to install acm on Ubuntu 22.04. acm is Multi-player classic air combat simulator Introduction In this tutorial we learn how to install acm on