htaut-0.1.0.0: Tautology Proving Logic in Haskell
Htaut
module Htaut.Proving
module Htaut.Proposition