On Wed, 01 Oct 2014 23:01:07 +0200, Evan Rowley
The theorem provers page has a link for Ivor at the bottom: http://www.haskell.org/haskellwiki/Libraries_and_tools/Theorem_provers
This current link is dead: http://www.dcs.st-and.ac.uk/~eb/ivor.php
This new link works: http://eb.host.cs.st-andrews.ac.uk/ivor.php
I've updated the page. If you request a user id[0] for HaskellWiki, you can make changes like this yourself, with about the same amount of work as writing an email. Regards, Henk-Jan van Tuyl [0] http://www.haskell.org/haskellwiki/index.php?title=Special:UserLogin -- Folding@home What if you could share your unused computer power to help find a cure? In just 5 minutes you can join the world's biggest networked computer and get us closer sooner. Watch the video. http://folding.stanford.edu/ http://Van.Tuyl.eu/ http://members.chello.nl/hjgtuyl/tourdemonad.html Haskell programming --