chore: fix Python virtualenv commands on Windows

dafny-lang / dafny

Dafny is a verification-aware programming language

https://dafny.org

Other

2.94k stars 261 forks source link

Closed alex-chew closed 3 weeks ago

alex-chew commented 3 weeks ago

Using a virtual environment avoids polluting the system Python installation.

Reverts dafny-lang/dafny#5880