Talk:Paradox (theorem prover)

From Wikipedia, the free encyclopedia
Jump to: navigation, search
WikiProject Computing (Rated Stub-class)
WikiProject icon This article is within the scope of WikiProject Computing, a collaborative effort to improve the coverage of computers, computing, and information technology on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.
Stub-Class article Stub  This article has been rated as Stub-Class on the project's quality scale.
 ???  This article has not yet received a rating on the project's importance scale.
Note icon
This article has been automatically rated by a bot or other tool as Stub-Class because it uses a stub template. Please ensure the assessment is correct before removing the |auto= parameter.

Not positive that this is "non-notable"[edit]

I did a quick google, there is at least one external citation of the software at Additionally this theorem prover is listed at However I am having some problems finding the source code of this software. Such code should exist somewhere as this is Free Software licensed under the GNU/GPL. I'm not positive this is notable, but I'm also not convinced that the software is non-notable. Therefore I am going to remove the proposal for deletion template and investigate a bit further over the weekend and next week as I have time. If I fail to find any source code or additional references, than deletion is appropriate. —— nixeagleemail me 02:22, 9 September 2011 (UTC)