New top story on Hacker News: LangPro: Natural Language Theorem Prover New top story on Hacker News: LangPro: Natural Language Theorem Prover Settembre 1, 2017 LangPro: Natural Language Theorem Prover 23 by lainon | 0 comments on Hacker News.