coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] web interface?

From: Vladimir Voevodsky <vladimir AT ias.edu>
To: Coq Club <coq-club AT inria.fr>
Cc: "Prof. Vladimir Voevodsky" <vladimir AT ias.edu>
Subject: [Coq-Club] web interface?
Date: Sun, 31 Aug 2014 22:13:59 +0100

Hello,

is there a working web interface for Coq?

When I tried ProofWeb it told me 'Welcome to Coq trunk (Nov. 2006)"

and then it refused to work at all (could not start a new line after the
first sentence).

Vladimir.

Attachment: signature.asc
Description: Message signed with OpenPGP using GPGMail

[Coq-Club] web interface?, Vladimir Voevodsky, 08/31/2014
- Re: [Coq-Club] web interface?, Adam Chlipala, 08/31/2014
  - Re: [Coq-Club] web interface?, Jason Gross, 08/31/2014
  - Re: [Coq-Club] web interface?, Kristopher Micinski, 08/31/2014
  - Re: [Coq-Club] web interface?, Vladimir Voevodsky, 08/31/2014