4 ms·
Wouldn't it be better to improve the proof language so that copy-pasting is not necessary? (I know that's very hard, though.)
by wizzwizz4 3mo ago
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 3mo agoI improved the editor to allow auto-completion, and clicking on the errors almost always suggests a fix. wip -> qed always work. (: