← Back to context

Comment by docheinestages

13 hours ago

Exactly. If humans were good at writing proofs, they'd just write the code.

0 comments

docheinestages

Reply

No comments yet

Contribute on Hacker News ↗