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. —— nixeagleemail me 02:22, 9 September 2011 (UTC)