Interactive Theorem Proving

Know about the book -

Interactive Theorem Proving is written by Christian Urban and published by Springer. It's available with International Standard Book Number or ISBN identification 3319221027 (ISBN 10) and 9783319221021 (ISBN 13).

This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Proving, ITP 2015, held in Nanjing, China, in August 2015. The 27 papers presented in this volume were carefully reviewed and selected from 54 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematics.