Hacker News new | ask | show | jobs
by slashdave 10 days ago
It's parroting proofs. This is no different than parroting a story.

https://lean-lang.org