New top story on Hacker News: Vampire: First-Order Theorem Proving [pdf] Posted By: Rushan Skywalker 10:17 AM Leave a Reply Vampire: First-Order Theorem Proving [pdf] 3 by tosh | 0 comments on Hacker News. Tweet Share Share Share Share
0 comments: