The original discussion about the project (<a href="https://news.ycombinator.com/item?id=49746163">https://news.ycombinator.com/item?id=49746163) is very weird. Lots of call-outs about how the author is some sort of celebrity and random accounts vouching for him, with little discussion on the substance.
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.
pu_pe · · focus · HN ↗
Not even the demo on that release works well.
larodi · · focus · HN ↗
nylonstrung · · focus · HN ↗
Lean4 itself has 9k
steego · · focus · HN ↗
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] · · focus · HN ↗
[deleted]