It’s here!

Mechanising Proof: Computing, Risk, & Trust.

It’s second hand, good condition, owners name on it, and some post its in the back cover.

@bentnib Thanks for the recommendation