Hello retard,
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 wish that had been the main problem... -- ... <IXOYE><
