New top story on Hacker News: A Self-Verifying Theorem Prover (2009) [pdf] Posted By: Rushan Skywalker 1:55 PM Leave a Reply A Self-Verifying Theorem Prover (2009) [pdf] 5 by luu | 0 comments on Hacker News. Tweet Share Share Share Share
0 comments: