3 ms·
Yeah 100% those are purchased/fake Lean4 itself has 9k
by nylonstrung 15d ago
Yeah 100% those are purchased/fake
Lean4 itself has 9k
- steego 15d agoI don’t they are purchased or fake. I can unequivocally claim that Victor receives at least two orders of magnitude more social media engagement, while Lean likely has 4-5 more magnitudes of actual users. Serious users of Lean simply have no need or reason to star the repository.
- deleted 15d ago[deleted]