logoalt Hacker News

david-gpu • today at 10:55 AM • 0 replies • view on HN

> Thinking rock make many wrong marks

So do humans. Don't Lean proofs take care of that?