News for hackers. Stuff that matters.
Re:LangPro: Natural Language Theorem Prover by deepsun on Friday September 01, 2017 @01:42PM (#15150694)
It's ok to brag on Hacker News.

There are no comments on this comment yet.