When prompted on "Maven wrapper is found on this folder, do you trust it", click on "yes" When prompted on "This folder contains a Java project, do you want to import it?", click on "yes" No Maven ...
I use Nix to manage my version of lean4 instead of Elan. Every time I start VSCode and open a Lean file, I get the following prompt: Lean's version manager Elan is not installed. This means that the ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback