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