Comment by forgotpwd16
23 days ago
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.
[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.
[flagged]
[flagged]
1 reply →
[flagged]