Interactive Theorem Proving and Program - Hardcover, by Bertot Yves - Acceptable

The History Of Your Bible proving - Paperback, by Terence D. McLean; - Very Good

Interactive Theorem Proving in Software Engineering, Paperback by Kammuller, ...

Interactive Theorem Proving - 9783319431437

Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Par

Interactive Theorem Proving in Software Engineering by Florian Kamm?ller (Englis

Interactive Theorem Proving and Program Development: CoqArt: The Calculus of...