Archive for September 2025

Rhino Linux Guide: Replacing Unicorn (XFCE)

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...