Hacker News Reader

>it seems to work fine in the real world

I thought the whole premise of this conversation was that this is a total fabrication?

I don’t believe so - I think it was it isn’t formally showing it is correct. Which is true.