![](https://media.springernature.com/w90/springer-static/cover/journal/10817/61/1.jpg?as=webp)
Volume 61, Issue 1-4
June 2018Special Issue: Milestones in Interactive Theorem Proving
- Issue Editors:
-
- Jeremy Avigad,
- Gerwin Klein,
- Lawrence Paulson
14 articles in this issue