Stream: Coq users

Topic: Vscode ssh


view this post on Zulip 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?

view this post on Zulip Huỳnh Trần Khanh (Mar 14 2023 at 06:54):

WSL

view this post on Zulip Notification Bot (Mar 14 2023 at 11:02):

This topic was moved to #VsCoq devs & users > Vscode ssh by Karl Palmskog.


Last updated: Apr 14 2024 at 11:02 UTC