Proof checker

A program that verifies whether a given proof is valid according to the rules of a Formal system, confirming that each step correctly follows from the Axioms and Inference rules.