Jacob (Mar 14 2023 at 06:21): Jacob (Mar 14 2023 at 06:21):Hi, Im using vscode ssh for my wsl which means my vscode is in local. And my easycrypt proof files are inside the wsl. In this case where should I downlead the coq, in the local or wsl?
Huỳnh Trần Khanh (Mar 14 2023 at 06:54):WSL
Notification Bot (Mar 14 2023 at 11:02):This topic was moved to #VsCoq devs & users > Vscode ssh by Karl Palmskog.
Last updated: Oct 04 2023 at 23:01 UTC