ACL2 is a computational logic, an automated reasoning system and an applicative programming language, a subset of COMMON LISP, based in pure λ-calculus. It was developed in the University of Texas at Austin (USA) and is based in an untyped quantifier-free first-order logic of to…
"1" Result
Sort By: