source: trunk/dports/math/acl2 @ 3179

Name Size Rev Age Author Last Change
files 2569   17 years gwright Port of ACL2, the successor to nqthm, the Boyer-Moore theorem prover.
Portfile 3.1 KB 3173   17 years jkh Mass-merge of destroot target changes. Before committing this, I also …
Note: See TracBrowser for help on using the repository browser.