Talk:E (theorem prover)
Add topic | This article is rated C-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||
| |||||||||||
 | Stephan Schulz was merged into this article. The discussion was closed on 18 December 2009 with a consensus to merge. The original page is now a redirect to this article. Its history now serves to provide attribution for the content in this article, and it must not be deleted as long as this article exists. |
 | 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.