ftshell (hackage): The ftshell is a shell-based user interface to interact with the free-theorems library. It offers all possibilities provided by that library to generate free theorems from Haskell type expressions.
Keywords: language|program|public-domain|source-tools