ACL2(1)

✨ ACL2(1) — General Commands Manual ✨ 🎀

Okay bestie, this one is a short and sweet man page for the acl2 command, and it's giving "A Computational Logic" 🧠💅

🌸 NAME

acl2 - A Computational Logic 🦋

💖 SYNOPSIS

acl2

Just type acl2 and you're in. That's the whole synopsis, no cap 🫶

✨ DESCRIPTION

Okay so this page only documents the acl2 command really briefly ✨ and lowkey that's because it was written for the Debian GNU/Linux distribution. The original program doesn't have a manual page of its own 😭 Instead it comes with documentation in the GNU Info format AND in html format. Those are included in the acl2-doc package 📦💜

If you don't have the package installed, don't panic 🙈 The documentation can also be found on the project's website, http://www.cs.utexas.edu/users/moore/acl2, both in html form and in postscript 🌈 Iconic, honestly.

👑 AUTHOR

This manual page was written by Camm Maguire, <camm@enhanced.com>, for the Debian GNU/Linux system 🍓 (but it's totally fine for others to use it too, periodt 💅).

🦋 Source and version info: this was the 2002-10-26 Debian ACL2(1) page, rewritten with love by your favorite Unix girlie 🎀💖