Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings - Blazy, Sandrine; Paulin-Mohring, Christine; Pichardie, David (Springer Berlin Heidelberg : Imprint: Springer, 2013)