2 ms·
>The recommended way to install Lean is through VS Code Is that enough reason?
by heliumtera 5mo ago
>The recommended way to install Lean is through VS Code
Is that enough reason?
- EFreethought 5mo agoYes. I am tired of my time in tech being just using MS products that all depend on each other.