← Back to context

Comment by slashdave

13 hours ago

It's parroting proofs. This is no different than parroting a story.

https://lean-lang.org

0 comments

slashdave

Reply

No comments yet

Contribute on Hacker News ↗