Stream: VsCoq devs & 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 here from #Coq users > Vscode ssh by Karl Palmskog.


Last updated: Jun 04 2023 at 23:30 UTC