New top story on Hacker News: Vampire: First-Order Theorem Proving [pdf]

No comments