coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Running Coq without installing it?

From: Jason Gross <jasongross9 AT gmail.com>
To: coq-club <coq-club AT inria.fr>
Subject: [Coq-Club] Running Coq without installing it?
Date: Tue, 21 Jul 2015 02:53:38 -0400

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

[Coq-Club] Running Coq without installing it?, Jason Gross, 07/21/2015
- Re: [Coq-Club] Running Coq without installing it?, Vincent Siles, 07/21/2015
  - Re: [Coq-Club] Running Coq without installing it?, Amin Timany, 07/21/2015
- Re: [Coq-Club] Running Coq without installing it?, Matej Grabovský, 07/21/2015
  - Re: [Coq-Club] Running Coq without installing it?, Konstantin Weitz, 07/21/2015
    - Re: [Coq-Club] Running Coq without installing it?, Joseph Redmon, 07/21/2015
    - Re: [Coq-Club] Running Coq without installing it?, Valentin Robert, 07/21/2015