Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings - Blanchette, Jasmin Christian; Merz, Stephan (Springer International Publishing : Imprint: Springer, 2016)