At least you could've bothered to replace the placeholders in your AI generated post.
The Repo: [Link to your GitHub] The Formalization Paper: [Link to your Academia.edu PDF]
To Reproduce: 1. git clone [repo_url] 2. lake build 3. Run `test/Verification.lean`
edit: I checked your other submissions. Please stop spamming AI garbage. You aren't discovering anything. You aren't doing anything. You're simply wasting energy and computational cycles to produce meaningless bullshit.
At least you could've bothered to replace the placeholders in your AI generated post.
edit: I checked your other submissions. Please stop spamming AI garbage. You aren't discovering anything. You aren't doing anything. You're simply wasting energy and computational cycles to produce meaningless bullshit.
[flagged]
Do you understand anything at all on what appears in the article or/and the code? If not then telling you where they're wrong is pointless.
>Jerk.
It's you who asked for roast.
3 replies →
[flagged]
[flagged]