News for hackers. Stuff that matters.
Re:Logipedia – Encyclopedia of Formal Proofs by HNLurker2 on Tuesday March 19, 2019 @02:02AM (#19428443)
Because logic as a subject doesn't have a community in itself and a lot of noise instead of signal (can't find anyone who doesn't mention Gödel against science and maths)

There are no comments on this comment yet.