News for hackers. Stuff that matters.

A comment on When are two proofs essentially the same? (2007). Parent comment

Re:When are two proofs essentially the same? (2007) by tightbookkeeper on Wednesday October 30, 2024 @11:06AM (#41995780)
I only noticed because I was perplexed by the comment.

If I’m hitting this issue at random, others are hitting it too.

[ Parent | on HN ]

There are no comments on this comment yet.