<a href="https://wp.software.imdea.org/cbc/wp-content/uploads/sites/5/2020/01/lawrence-paulson-logic-and-proof.pdf" rel="nofollow">https://wp.software.imdea.org/cbc/wp-content/uploads/sites/5...</a> - 2021, most recent version of his notes I could find. I have this vague memory of something more recent but I can't find it now so this may be it.