@hackage htaut0.1.1.0

Tautology Proving Logic in Haskell

Please see README.md