buildLEAN lake error failed to e

build - LEAN lake error: failed to execute `c++`: no such file or directory (error code: 2) - Stack Overflow
If I try to load LEAN for this file inside Visual Studio Code: .leanI get following message:Imports o
buildLEAN lake error failed to execute c no such file or directory (error code 2)Stack Overflow
admin25天前
30