5 ms·I'm working on a Math product as a side project and AI is really bad at writing Lean, tooby 101008 6mo agoI'm working on a Math product as a side project and AI is really bad at writing Lean, too