Talk:Paradox (theorem prover)

Not positive that this is "non-notable"
I did a quick google, there is at least one external citation of the software at http://www.cs.nott.ac.uk/~led/papers/led_bsc_dissertation.pdf. Additionally this theorem prover is listed at http://www.haskell.org/haskellwiki/Libraries_and_tools/Theorem_provers. 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. ——  nix eagle email me 02:22, 9 September 2011 (UTC)

November 2018 article accuracy concerns
an archived page seems to indicate this is a finite-domain model finder rather than an automated theorem prover (ATP). (Equinox is however an ATP. This is not to say Paradox cannot be a component of an ATP system.  As far as I can tell.Djm-leighpark (talk) 10:08, 6 November 2018 (UTC)  I've now added this reference to the article and improved artice to match so my concerns are now alleviated.07:16, 7 November 2018 (UTC)

Other References
— Preceding unsigned comment added by Djm-leighpark (talk • contribs) 00:32, 8 November 2018 (UTC)
 * significant mentions in slides
 * possibly passing ...