Interactive Theorem Proving
8th International Conference, Itp 2017, Brasilia, Brazil, September 26-29, 2017, Proceedings
Sobre o livro
This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017. The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully reviewed and selected from 65 submissions.