Clarify confusing comment Oh and btw installing lean4 doesn't make that the default elan toolchain since elan's lean binary gets enabled in the current environment instead of lean4's lean binary

Changes

1 changed files (+1/-2)

• ThinkPad-X1-Yoga-Gen-6/default.nix
  • @@ -60,8 +60,7 @@
    rustfmt # Formal verification - # For the Dafny VSCode extension - # dotnet and z3 must be in $PATH + # For the Dafny VSCode extension, dotnet and z3 must be in $PATH # mathlib requires elan to download a specific Lean version dafny dotnet-runtime