ACL2 Version 6.5

Comments



from Hacker News http://bit.ly/1tfKRso