News for hackers. Stuff that matters.

A comment on LangPro: Natural Language Theorem Prover. Parent comment

Re:LangPro: Natural Language Theorem Prover by nl on Friday September 01, 2017 @01:40AM (#15146393)
Ha. Thanks.

I should have read the paper, not just jumped to the Github link.

[ Parent | on HN ]

There are no comments on this comment yet.