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...
Read More
ACL2 Guide to Logic and Programming Language: Std.
Standard libraries for ACL2. The std library is meant to become ACL2, Batteries Included . Its features a wide variety of books that wo...
Read More
The Rhino Linux team announces the release 2025.3
Rhino Linux is an Ubuntu-based distribution which offers a rolling-release upgrade approach. The project's latest snapshot introduces...
Read More
ACL2 Guide to Logic and Programming Language: Proof-automation.
Software verification projects, tools, etc. Also see the (probably incomplete) page of ACL2-related publications . Subtopics Ax...
Read More
ACL2 Guide to Logic and Programming Language: Proof-automation.
Tools, utilities, and strategies for dealing with particular kinds of proofs. Subtopics Bash Bash is a tool that simplifies a ter...
Read More
Subscribe to:
Posts
(
Atom
)