Journal of Automated Reasoning, Volume 61

Volume 61, Numbers 1-4, June 2018

Special Issue: Milestones in Interactive Theorem Proving
maintained by Schloss Dagstuhl LZI at University of Trier