Template:User ACL2

From MOASSpedia
Revision as of 16:24, 30 September 2010 by Wikipedia>David.coallier (Added ACL2 as a user template)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search
acl2This user proves theorems using ACL2.
Retrieved from "https://moasspedia.org/w/index.php?title=Template:User_ACL2&oldid=34819"