New top story on Hacker News: The Great Theorem Prover Showdown on April 26, 2018 Get link Facebook X Pinterest Email Other Apps The Great Theorem Prover Showdown 62 by panic | 5 comments on Hacker News.