Linux has plenty of editors that can be used in the terminal. And all the operation that you can do for the file editing is possible with th...
Read More
Ubuntu Linux - pstree Command for Linux
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...
Read More
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...
Read More
Rhino Linux Guide: Unicorn Desktop
Unicorn utilizes intuitive keyboard shortcuts, so power-users never even need to touch their mouse. The app grid, Lightpad, can also be na...
Read More
ACL2 Guide to Logic and Programming Language: Testing-utilities.
Tools for developing and running tests. Subtopics Cgen Counterexample Generation a.k.a Disproving for ACL2 Run-script Run a scrip...
Read More
Rhino Linux Guide: Installation
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
ACL2 Guide to Logic and Programming Language: Projects.
The projects directory of the Community Books contains a variety of projects that have been carried out with ACL2 . Subtopics Abn...
Read More
ACL2 Guide to Logic and Programming Language: Math.
Math-related libraries: arithmetic, algebra, bit-vectors. Subtopics 100-theorems ACL2 versions of (some of) the Top 100 Theorems ...
Read More
ACL2 Guide to Logic and Programming Language: Macro-libraries.
Generally useful macros for writing more concise code, and frameworks for quickly introducing concepts like typed structures, typed lists,...
Read More
ACL2 Guide to Logic and Programming Language: Interfacing-tools
Libraries and tools for doing basic file i/o , using raw Common Lisp libraries , working with the operating system , and interfacing with ...
Read More
ACL2 Guide to Logic and Programming Language:Hardware-verification
Libraries for working with hardware description languages, modeling circuits, etc. Also see the (probably incomplete) page of ACL2-relat...
Read More
ACL2 Guide to Logic and Programming Language: Documentation.
Information about options for downloading and viewing the ACL2 documentation, contributing documentation, and the available tools for docu...
Read More
ACL2 Guide to Logic and Programming Language: DebuggingBoolean-reasoning.
Tools for debugging failed or slow proofs, or misbehaving functions. Subtopics Accumulated-persistence To get statistics on which...
Read More
ACL2 Guide to Logic and Programming Language: Boolean-reasoning.
Libraries related to representing and processing Boolean functions, geared toward large-scale automatic reasoning, e.g., via SAT solving a...
Read More
Subscribe to:
Comments
(
Atom
)