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.
