News for hackers. Stuff that matters.
Re:LangPro: Natural Language Theorem Prover by jomakasi on Friday September 01, 2017 @11:49AM (#15149513)
Their brag helped me to understand what ca I learn.

There are no comments on this comment yet.