Category:Programming language:ACL2

From LiteratePrograms
Jump to: navigation, search

ACL2 is a programming language and automatic theorem prover/proof assistant system designed by researchers of formal hardware and software models. Articles in this category contain programs written in ACL2 which, where possible, are accompanied by proofs of their correctness or other important properties.

Pages in category "Programming language:ACL2"

The following 2 pages are in this category, out of 2 total.