Comment on Some Junk Theorems in LeanparentComments−doug-moen8moYah, I read that and thought "this seems like gibberish: maybe I am reading LLM slop".
Comments
Yah, I read that and thought "this seems like gibberish: maybe I am reading LLM slop".