ACL2 - Wikipedia
ACL2 is designed to support automated reasoning in inductive logical theories, mostly for software and hardware verification. The input language and ...
https://en.wikipedia.org/wiki/ACL2ACL2 Version 8.6 - UT Computer Science
ACL2 is a logic and programming language in which you can model computer systems, together with a tool to help you prove properties of those models. "ACL2"...
https://www.cs.utexas.edu/~moore/acl2/ACL2 System and Books as Maintained by the Community
ACL2 System. The included version of the ACL2 System is the latest, under-development version of the ACL2 Theorem Prover. It is updated only by the ACL2 authors ...
https://github.com/acl2/acl2A Gentle Introduction to ACL2 Programming - UT Computer Science
This document, which accompanies the ACL2 Hyper-Card, is meant as a quick introduction to Lisp programming in the ACL2 dialect.
https://www.cs.utexas.edu/~moore/publications/gentle-intro-to-acl2-programming.htmlACL2s: "The ACL2 Sedan"- Khoury College of Computer Sciences
ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a ...
https://www.khoury.northeastern.edu/home/pete/research/icse-acl2s.htmlPmod ACL2: 3-axis MEMS Accelerometer - Digilent
Pmod ACL2: 3-axis MEMS Accelerometer ... The Pmod ACL2 is a 3-axis MEMS accelerometer powered by the Analog Devices ADXL362. By communicating with the chip via ...
https://digilent.com/shop/pmod-acl2-3-axis-mems-accelerometer/?srsltid=AfmBOorPCeFF2ZT1C7vq3...ACL2: an industrial strength version of Nqthm - IEEE Xplore
This paper explains how we scaled up Nqthm's logic to Common Lisp, preserving the use of total functions within the logic but achieving Common Lisp execution ...
https://ieeexplore.ieee.org/document/507872/acl2 - A Computational Logic for Applicative Common Lisp - GitHub
2022/02/07 ... A Computational Logic for Applicative Common Lisp. 20 followers. Austin, TX. http://cs.utexas.edu/~moore/acl2/
https://github.com/acl2acl2 - Homebrew Formulae
Logic and programming language in which you can model computer systems. https://www.cs.utexas.edu/~moore/acl2/. License: BSD-3-Clause.
https://formulae.brew.sh/formula/acl2AccoLED ACL2ST | A-Light Architectural Lighting
AccoLED ACL2ST, At 2.25"wide x 3.91"high, ACL2ST is an impressive direct-indirect luminaire tailored for LED lighting technology and fully capable of ...
https://www.alights.com/products/interior-lighting/accoled/acl2