[wizzwizz4]

Wouldn't it be better to improve the proof language so that copy-pasting is not necessary? (I know that's very hard, though.)

[geckones]

I improved the editor to allow auto-completion, and clicking on the errors almost always suggests a fix. wip -> qed always work. (: