Category:Programming language:ACL2

From LiteratePrograms

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.

Articles in category "Programming language:ACL2"

There are 2 articles in this category.

I

• Insertion sort (ACL2)

M

• Merge sort (ACL2)