The Coq mailing list

[Bas Spitters <b.a.w.spitters AT gmail.com>]

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/