should also add an empty \begin{zproof}\end{zproof} environment for all involved \begin{theorem}{NAME}\end{theorem} given they will need to be proved? or something like another button saying insert at cursor with zproofs skeleton?
Log in to post a comment.
