Report copyright - Functional Programming in ACL2 - Drexel CCIkschmidt/CS270/Lectures/1/funprog.pdf · ACL2 moore/acl2 ACL2 is a programming language, logic, and theorem prover/checker based on Common
Please pass captcha verification before submit form