Comment by wasabi991011

9 hours ago

Why do you say that? I see no mention of lean/rocq on the twitter thread, nor on the erdos problem forum thread, nor on the chatGPT conversation.

0 comments