The Coq mailing list

[Jay Kruer <j AT dank.systems>]

I think the codespaces feature isn't generally available yet, which might be 
problematic for some coq-club readers.

> On Oct 14, 2020, at 3:08 PM, Bas Spitters <b.a.w.spitters AT gmail.com> wrote:
> 
> The following works quite well:
> https://github.com/features/codespaces
> Getting Coq to run is actually easy. Open a terminal in github
> codespaces. Do the regular install, set the path and select "interpret
> to point".
> 
>> On Wed, Oct 14, 2020 at 6:23 PM Abhishek Anand
>> <abhishek.anand.iitg AT gmail.com> wrote:
>> 
>> When using vscode liveshare with coq (vscoq I guess), do all participants 
>> see the host's proof window? or each participant independently has coqtop 
>> running locally to produce the proof window in a non-synced manner?
>> 
>> Thanks,
>> -- Abhishek
>> http://www.cs.cornell.edu/~aa755/
>> 
>> 
>>> On Wed, Jun 17, 2020 at 2:04 PM Bas Spitters <b.a.w.spitters AT gmail.com> 
>>> wrote:
>>> 
>>> My students are using vscode for this, and I understand it works well.
>>> I believe it only has a cloud based solution.
>>> https://visualstudio.microsoft.com/services/live-share/
>>> 
>>> On Sat, Jun 13, 2020 at 9:50 PM Abhishek Anand
>>> <abhishek.anand.iitg AT gmail.com> wrote:
>>>> 
>>>> At our company, people in different cities/countries often need to 
>>>> collaboratively edit Coq files.
>>>> We have been using tmux+ssh+emacs-console-mode+PG+company-coq solution 
>>>> for a few years and it works ok.
>>>> I have described our setup in the following wiki page:
>>>> https://github.com/coq/coq/wiki/Remote-Collaborative-Editing-of-Coq-Files
>>>> 
>>>> Are there other ways people remotely collaboratively edit Coq files?
>>>> It would be great to add to that page and/or describe/discuss the setup 
>>>> in this email thread.
>>>> 
>>>> Thanks,
>>>> -- Abhishek
>>>> http://www.cs.cornell.edu/~aa755/