Title: Mechanizing mathematical reasoning
Subjects: Automatic theorem proving, Technique, Symbolic and mathematical Logic, Reasoning, Automation