The Coq mailing list

[Adam Chlipala <adamc AT csail.mit.edu>]

We're working on a novice-oriented interface at MIT.  I expect we'll 
make a public release in the next month or so.  However, you also might 
not be interested in a novice-oriented interface. :)

On 08/31/2014 05:13 PM, Vladimir Voevodsky wrote:
> 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.