The proceedings of the conference are available here. Springer grants a 4-week free access to these proceedings to the conference participants.
9th International Conference on Interactive Theorem Proving -- July 9-12 2018, Oxford, United Kingdom
The proceedings of the conference are available here. Springer grants a 4-week free access to these proceedings to the conference participants.
