ACL2 (Q4650692)
Jump to navigation
Jump to search
software system consisting of a programming language, an extensible theory in a first-order logic, and an automated theorem prover
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | ACL2 |
software system consisting of a programming language, an extensible theory in a first-order logic, and an automated theorem prover |
