Title: Interactive Theorem Proving
Subjects: Computer science, Software engineering, Programming languages (electronic computers), Logic, symbolic and mathematical, Artificial intelligence