free-theorems-seq-webui (hackage): This package provides access to the functionality of http://hackage.haskell.org/package/free-theorems-seq through a web interface.  An online version of the interface is running at http://www-ps.iai.uni-bonn.de/cgi-bin/polyseq.cgi.
Keywords: language|program|public-domain