Thread

If math is more than proof, we need to better celebrate the rest of it

433 points · 285 comments · num42

pylua · 1789867862 · focus · HN ↗
Dumb question— why doesn’t proof proposal construction (not the solution) in lean get celebrated more ? That seems central to understanding.
If these proofs are so important why is there not a central repositories of the proposal in a formalized language ?

Open on Hacker News to reply ↗

Unofficial Hacker News client; not affiliated with Y Combinator.