1 Oct
2014
1 Oct
'14
5:01 p.m.
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 -- -- - EJR