Talk:E (theorem prover)
(Redirected from Talk:E equational theorem prover)
 | This article is rated C-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||
| |||||||||||
 | Stephan Schulz was nominated for deletion. The discussion was closed on 18 December 2009 with a consensus to merge. Its contents were merged into E (theorem prover). The original page is now a redirect to this page. For the contribution history and old versions of the redirected article, please see its history; for its talk page, see here. |
 | This article was nominated for deletion on 25 January 2010. The result of the discussion was keep. |
|
|
Start a discussion about improving the E (theorem prover) page
Talk pages are where people discuss how to make content on Wikipedia the best that it can be. You can use this page to start a discussion with others about how to improve the "E (theorem prover)" page.
