Hello retard,
Has anyone except the almighty Andrei ever even downloaded a theorem prover?
Yes, ACL2. http://www.dsource.org/projects/scrapple/browser/trunk/backmath Now I know why that sort of thing isn't done more often. -- ... <IXOYE><
Hello retard,
Has anyone except the almighty Andrei ever even downloaded a theorem prover?
Yes, ACL2. http://www.dsource.org/projects/scrapple/browser/trunk/backmath Now I know why that sort of thing isn't done more often. -- ... <IXOYE><