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 - 2025/05/23
ER -