Talk:Computer-assisted proof

From Wikipedia, the free encyclopedia

[edit] merge?

Should this article be merged with Automated theorem proving? S Sepp 14:34, 21 January 2006 (UTC)

[edit] improve please

OK, that's expanded this to a reasonably-sized stub. Can someone with more knowledge in this area improve and polish this article, please? -- Anon.

Retrieved from "http://en.wikipedia.org../../../c/o/m/Talk%7EComputer-assisted_proof_a615.html"