Given the list of proofs still todo, add all \begin{zproof}[XXX]\end{zproof} for the missing one. Also, naturally order them by source or at least give the option to choose which order to be natural/default?
on larger projects, not having this can be a nuisance
Log in to post a comment.
on larger projects, not having this can be a nuisance