The Coq mailing list

[Enrico Tassi <enrico.tassi AT inria.fr>]

On Sun, Aug 31, 2014 at 10:13:59PM +0100, Vladimir Voevodsky wrote:
> Hello,
> 
> is there a working web interface for Coq?

This is still vaporware, but as a result of the Paral-ITP project, Coq
should become a working backend for clide (today it works with Isabelle only):

  http://www.dfki.de/lt/publication_show.php?id=6811
  http://clide.informatik.uni-bremen.de/login

Carst Tankink is working on it.  He is not there yet, but he is not too
far either.

Best,
-- 
Enrico Tassi