Designing a Theorem Prover – Lawrence C Paulson

Hi nill0, please don’t link directly to pdfs on arxiv, but the abstract page instead. Like this: https://arxiv.org/abs/cs/9301110

The reader can decide if they want to go further. Thanks.

Also, enjoying your submissions, but please pace yourself.