Proceedings of the 4th international conference on Interactive Theorem Proving