1 project tagged "Windows"
Updated 11 Apr 2011
ACL2
| Pop | 82.27 |
|---|---|
| Vit | 5.57 |
ACL2 is a mathematical logic, programming language, and mechanical theorem prover based on the applicative subset of Common Lisp. It is an "industrial-strength" version of the NQTHM or Boyer/Moore theorem prover, and has been used for the formal verification of commercial microprocessors, the Java Virtual Machine, interesting algorithms, and so forth.
