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 cloogshicer on Tuesday October 29, 2024 @08:10PM (#41990780)
In which book? Sounds interesting.
[ Parent | on HN ]
Re:When are two proofs essentially the same? (2007) by tightbookkeeper on Tuesday October 29, 2024 @08:59PM (#41990988)
Art of computer programming volume 1. It’s an exercise with a solution at the end.
[ Parent | on HN ]
Re:When are two proofs essentially the same? (2007) by cloogshicer on Saturday November 02, 2024 @10:05AM (#42026463)
Thank you, will look into it!
[ Parent | on HN ]