You are about to access our book library "Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings (Lecture Notes in Computer Science Book 10499) full version" .