coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] web interface?

From: Freek Wiedijk <freek AT cs.ru.nl>
To: coq-club AT inria.fr
Cc: cezary.kaliszyk AT uibk.ac.at, Kasper Brink <k.brink AT cs.ru.nl>, Herman Geuvers <herman AT cs.ru.nl>
Subject: Re: [Coq-Club] web interface?
Date: Mon, 1 Sep 2014 10:35:11 +0200

Dear Vladimir,

>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).

ProofWeb works, but is barely maintained. It _only_ works
with Firefox, I think, but that has been its main problem
from the start.

Our scientific programmer is looking into how to make it
(more) browser independent, but this is on a backburner,
I'm afraid.

Also, I think there was a reason why ProofWeb doesn't work
anymore with the latest Coqs (something changed a bit),
but I might be mistaken.

I CC this to Cezary Kaliszyk (who developed ProofWeb),
in case he wants to say something about it.

Freek

Re: [Coq-Club] web interface?, Enrico Tassi, 09/01/2014
- <Possible follow-up(s)>
- Re: [Coq-Club] web interface?, Freek Wiedijk, 09/01/2014
  - Re: [Coq-Club] web interface?, Kasper Brink, 09/01/2014
  - Re: [Coq-Club] web interface?, Bill Richter, 09/02/2014
    - Re: [Coq-Club] web interface?, Kevin Sullivan, 09/02/2014
      - Re: [Coq-Club] web interface?, Christophe Bal, 09/03/2014
- Re: [Coq-Club] web interface?, Adam Chlipala, 09/01/2014
  - Re: [Coq-Club] web interface?, Pierre Boutillier, 09/02/2014
    - Re: [Coq-Club] web interface?, Christophe Bal, 09/02/2014