>The recommended way to install Lean is through VS Code Is that enough reason?

heliumtera • yesterday at 5:48 PM • 1 reply • view on HN

>The recommended way to install Lean is through VS Code

Is that enough reason?

EFreethought • today at 6:59 AM

Yes.

I am tired of my time in tech being just using MS products that all depend on each other.

alt Hacker News