Template:User ACL2

Template Discussion

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)

This user proves theorems using ACL2.

Retrieved from "https://moasspedia.org/w/index.php?title=Template:User_ACL2&oldid=34819"

Computer language user templates