htaut-0.1.0.0: Tautology Proving Logic in Haskell

Safe HaskellSafe
LanguageHaskell2010

Htaut

Documentation

module Htaut.Proving

module Htaut.Proposition