Hacker News new | ask | show | jobs
by unboxed_type 3261 days ago
I would love Lean to become both reliable and fast tool. I suggest, it is in its infancy right now to judge it seriously. As for now, I would rather invest in well established tools.