Title: Interactive Theorem Proving
Subjects: Automatic theorem proving, Logic, symbolic and mathematical, Software engineering, Artificial Intelligence (incl. Robotics), Computer science, Data protection, Computer software, Logic design, Artificial intelligence, Mathematical Logic and Formal Languages, Logics and Meanings of Programs, Systems and Data Security, Algorithm Analysis and Problem Complexity