✓ Automated Theorem ProvingProof Assistants, Interactive Verification, Proof Search, Tactical Reasoning