Keyword:Interactive and Automated Theorem Proving

Papers
EasyChair Preprint no. 3621