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?
This topic was moved here from #Coq users > Vscode ssh by Karl Palmskog.
Last updated: Jun 04 2023 at 23:30 UTC