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 jkaptur on Wednesday October 30, 2024 @11:42AM (#41996367)
Interesting! That exercise is what I expected the Angius and Primiero paper to be.
[ Parent | on HN ]

There are no comments on this comment yet.