Interactive Theorem Proving

Discover the cutting-edge advancements in formal verification with "Interactive Theorem Proving," authored by Jeremy Avigad and published by Springer International Publishing AG in 2018. This comprehensive volume contains the refereed proceedings from the 9th International Conference on Interactive Theorem Proving (ITP 2018), which took place in Oxford, UK, in July 2018. Within its 642 pages, you will find 32 full papers and 5 short papers that have been meticulously reviewed and selected from a total of 65 submissions. This collection is essential for anyone interested in the latest research and developments in interactive theorem proving, making it a valuable addition to your academic library. Enhance your understanding of this vital area of computer science and mathematics today!