Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Why isn't there a replication crisis in math?. Parent comment
Or "computer says x but you don't agree the mathematical concept was correctly formalized into the proof engine language".
There are no comments on this comment yet.
Or "computer says x but you don't agree the mathematical concept was correctly formalized into the proof engine language".