Talk:E (theorem prover)
Jump to navigation
Jump to search
![]() | 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. |
|
|