What does a lean proof prove? | Dark Hacker News