ACL2s
ACL2 is a system for integrated modeling, simulation, and inductive reasoning.
ACL2 is a powerful system for integrated modeling, simulation, and inductive reasoning. Under expert control, it has been used to verify some of the most complex theorems to have undergone mechanical verification.
This software was checked for viruses and was found to be clean. Click here to see antivirus report.
trusted
DOWNLOAD
185 MB
Free