4 ms·
Maybe very long term. I turn off code assistants when doing Lean proofs because the success rate for just suggestions is close to zero.
by codebje 1y ago
Maybe very long term. I turn off code assistants when doing Lean proofs because the success rate for just suggestions is close to zero.