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