Interactive Theorem Proving
Lecture notes in computer science · 2018
The ITP 2018 proceedings on interactive theorem proving feature research in the area of logical frameworks and interactive proof assistants and focus on logic and verification, type theory, higher order logic, automated reasoning, program semantics, program verification, interactive proof systems.