← Back to context

Comment by david-gpu

3 hours ago

> Thinking rock make many wrong marks

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

0 comments

david-gpu

Reply

No comments yet

Contribute on Hacker News ↗