Comment by heliumtera 17 hours ago >The recommended way to install Lean is through VS CodeIs that enough reason? 1 comment heliumtera Reply EFreethought 4 hours ago Yes.I am tired of my time in tech being just using MS products that all depend on each other.
EFreethought 4 hours ago Yes.I am tired of my time in tech being just using MS products that all depend on each other.
Yes.
I am tired of my time in tech being just using MS products that all depend on each other.