Suggestions on improvements for Theorems and Verification view:
On views like Theorems or Verification, double-clicking could copy the thm name and paste it to the buffer as a zproof or theorem (Depending on what is on the view)? For example, if the Theorems view has some theorem for which there is no zproof related to it, create one and put it near to the definition when double-click on the thm name.
That's only for non-axioms and those without zproof env already of course. For those with zproof-env or axioms, could simply select it on the editor.
Log in to post a comment.
