The Coq mailing list

[Konstantin Weitz <weitzkon AT cs.washington.edu>]

You can also try Valentin's PeaCoq. It's a web based frontend to Coq that has been used in classrooms before.

http://goto.ucsd.edu/~vrobert/coq-en-stock/blog/

- Konstantin

On Jul 21, 2015 2:36 AM, "Matej Grabovský" <mgrabovsky AT yahoo.com> wrote:

Hi.

There's also Js Coq <https://github.com/ejgallego/jscoq>, nota bene it's in a very experimental stage of development, so it might not be exactly what you're looking for.

Best regards,

Matej G.

On Tuesday, July 21, 2015 8:55 AM, Jason Gross <jasongross9 AT gmail.com> wrote:

Hi,

I'm teaching a class on Coq on Wednesday, and discovered Coq has not been installed on the computers I will be using.  Is there a way to run Coq on Windows and/or Mac without installing it (e.g., is there a run-from-a-flash-drive / portable version of Coq?  Are there websites that will let students run Coq programs and see the output?  There was a thread about this a year ago that mentioned ProofWeb and cloud.sagemath, but I'm curious if there are more options now.)

Thanks,

Jason