Hacker News new | ask | show | jobs
by msfanboy-aahum 782 days ago
The main dev of Lean no longer works at MS. So currently there are basically no ties to MS. Lean is developed by the Lean FRO, which aims at being selfsustainable in ~4 yrs from now.