What are the two broad categories of software tools for helping constructs proofs of logical propositions?

General