Formal Methods

Automated Theorem Proving (ATP) is a field in computer science focused on proving mathematical theorems using algorithms.

Theorem proving is a method in mathematics and computer science to verify the truth of propositions using formal logic.