Comment about Dafny VSCode

Changes

1 changed files (+2/-0)

• ThinkPad-X1-Yoga-Gen-6/default.nix
  • @@ -54,6 +54,8 @@
    uv # Formal verification + # For the Dafny VSCode extension + # dotnet and z3 must be in $PATH dafny dotnet-runtime lean4