Content deleted Content added
No edit summary |
|||
Line 2:
I'm not quite sure which article to link to with regard to theorem proving. [[Automated theorem proving]] does not look correct to me. Help please? [[User:Errantkid|Errantkid]] ([[User talk:Errantkid|talk]]) 14:36, 23 October 2008 (UTC)
:I put in a link to [[formal verification]] but see also [[interactive theorem proving]]. ATS really is a pretty interesting development in this area. [[Special:Contributions/207.241.239.70|207.241.239.70]] ([[User talk:207.241.239.70|talk]]) 04:30, 11 December 2008 (UTC)
== Notability ==
| |||