Ubuntuland & The Dream Planet

There are plenty of commands that can show you how to make use of the system information and the process. A lot of process viewers I have al...

Maybe you're not a fan of XFCE, and would like to keep the same Unicorn elegance, but with a different desktop as a base. UBXI makes t...

Unicorn utilizes intuitive keyboard shortcuts, so power-users never even need to touch their mouse. The app grid, Lightpad, can also be na...

Tools for developing and running tests. Subtopics Cgen Counterexample Generation a.k.a Disproving for ACL2 Run-script Run a scrip...

Here is the official installation guide for Rhino Linux. This guide assumes that you have created a bootable USB drive with a Rhino Linux di...

Standard libraries for ACL2. The std library is meant to become ACL2, Batteries Included . Its features a wide variety of books that wo...

Rhino Linux is an Ubuntu-based distribution which offers a rolling-release upgrade approach. The project's latest snapshot introduces...

Software verification projects, tools, etc. Also see the (probably incomplete) page of ACL2-related publications . Subtopics Ax...

Tools, utilities, and strategies for dealing with particular kinds of proofs. Subtopics Bash Bash is a tool that simplifies a ter...

The projects directory of the Community Books contains a variety of projects that have been carried out with ACL2 . Subtopics Abn...

Math-related libraries: arithmetic, algebra, bit-vectors. Subtopics 100-theorems ACL2 versions of (some of) the Top 100 Theorems ...

Generally useful macros for writing more concise code, and frameworks for quickly introducing concepts like typed structures, typed lists,...

Libraries and tools for doing basic file i/o , using raw Common Lisp libraries , working with the operating system , and interfacing with ...

Libraries for working with hardware description languages, modeling circuits, etc. Also see the (probably incomplete) page of ACL2-relat...

Information about options for downloading and viewing the ACL2 documentation, contributing documentation, and the available tools for docu...