TY - JOUR T1 - Introduction to Milestones in Interactive Theorem Proving JO - Journal of Automated Reasoning UR - http://dx.doi.org/10.1007/s10817-018-9465-5 PY - 2018/05/11 AU - Avigad J AU - Blanchette JC AU - Klein G AU - Paulson L AU - Popescu A AU - Snelting G ED - DO - DOI: 10.1007/s10817-018-9465-5 PB - Springer Science and Business Media LLC VL - 61 IS - 1-4 SP - 1 EP - 8 Y2 - 2024/12/26 ER -