Comment on Writing Lisp is AI resistant and I'm sadComments−1010085moI'm working on a Math product as a side project and AI is really bad at writing Lean, too
Comments
I'm working on a Math product as a side project and AI is really bad at writing Lean, too