On 08/01/2010 05:44 AM, retard wrote:
Sat, 31 Jul 2010 23:38:17 +0000, BCS wrote:
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.
Learning how to document your code might also help. It looks like a mess.
I think it takes some good amount of courage and confidence to put one's
identity and code out there for everyone to criticize. Conversely,
criticizing from the comfort of anonymity and without producing "do as I
do, not only as I say" examples doesn't sit well.
Andrei
