Designing a Theorem Prover – Lawrence C Paulson

Posted by nill0 on Wednesday February 26, 2025 @05:30AM
from the arxiv.org dept.

( 1 comment | 2 points | on HN )

Re:Designing a Theorem Prover – Lawrence C Paulson by yo_yo_yo-yo on Wednesday February 26, 2025 @11:24AM (#43185157)

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.

[ Parent | on HN ]