Hacker News new | ask | show | jobs
by codebje 339 days 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.