Many of these results don't rely on repeatedly calling Lean. You have no clue what you're talking about.

> Just look at the donors of Renaissance Misanthropy. If you're actually interested, who funds each project is listed in the PDF here. https://www.renaissancephilanthropy.org/annual-reports

As you can see, it's mainly philanthropic projects of wealthy families.

They literally operate on the model developed by Kleiner Perkins:

https://www.renaissancephilanthropy.org/the-fund-model

But get your AI friends to downvote truth and sink the entire submission, because that is how the AI fascists operate.