Theorem Proving

There are several different approaches to theorem proving. The most common are:

• Automated theorem proving

• Interactive theorem proving

• Proof assistants