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
Ubuntu MATE's applications pre-installed: MATE control center.
The Control Center provides you with a single window that houses all of the major Ubuntu MATE preference tools. These tools let you tweak th...
Read More
Ubuntu MATE's applications pre-installed: MATE terminal.
MATE Terminal is a terminal emulation application that can be found in the Ubuntu MATE menus at Menu > System Tools > MATE Terminal ...
Read More
ACL2 Guide to Logic and Programming Language: introduction.
ACL2 is an interactive theorem prover. It combines a Lisp-based programming language for developing formal models of systems with a reaso...
Read More
Ubuntu MATE's applications pre-installed: Baobab & MATE System monitor.
MATE Disk Usage Analyzer (Baobab) The MATE Disk Usage Analyzer , found at Menu > System Tools > MATE Disk Usage Analyzer , is a g...
Read More
Subscribe to:
Posts
(
Atom
)