New top story on Hacker News: The Foundation of a Generic Theorem Prover (1989) [pdf]

The Foundation of a Generic Theorem Prover (1989) [pdf]
8 by 082349872349872 | 2 comments on Hacker News.