3 ms·
Designing a Theorem Prover – Lawrence C Paulson
- yo_yo_yo-yo 2y agoHi nill0, please don’t link directly to pdfs on arxiv, but the abstract page instead. Like this: https://arxiv.org/abs/cs/9301110 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.