A arxiv.org The Foundation of a Generic Theorem Prover (1989) [pdf] 59 points 082349872349872 2 years ago 4 comments
