Title: Interactive Theorem Proving
Subjects: Mathematical Logic and Formal Languages, Software engineering, Systems and Data Security, Data protection, Logic design, Logics and Meanings of Programs, Computation by Abstract Devices, Computer science, Artificial intelligence, Artificial Intelligence (incl. Robotics)