The Coq mailing list

[Jason Gross <jasongross9 AT gmail.com>]

ProofWeb works, it's just not that good at newlines and cursor position.  You can type "Goal True." press "evaluate to cursor", hit the enter key, then press the down arrow because proofweb moved the cursor back up, and then type on the new line.

On Sun, Aug 31, 2014 at 5:15 PM, Adam Chlipala <adamc AT csail.mit.edu> wrote:

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.