Hacker News Papers
New
2020
2019
2018
LangPro: Natural Language Theorem Prover
arxiv.org
•
122 points