3 ms·
It's parroting proofs. This is no different than parroting a story. https://lean-lang.org https://lean-lang.org
by slashdave 3mo ago
It's parroting proofs. This is no different than parroting a story.
https://lean-lang.org https://lean-lang.org