News for hackers. Stuff that matters.

A comment on Who Can Understand the Proof? A Window on Formalized Mathematics. Parent comment

Re:Who Can Understand the Proof? A Window on Formalized Math... by rtpg on Friday January 10, 2025 @06:29PM (#42661590)
And of course if you come across an inelegant proof you suddenly have the opportunity to think about it and see if you can make it more elegant!
[ Parent | on HN ]

There are no comments on this comment yet.