Hello, I was wondering whether in creating natural deduction environments it would be possible to break up the #nat-ded block created to insert several explanations for what I'm doing.
In this case, after the $\lambda$, I'd like to resume the numbering of the lines, so that the next line after the explanation would continue as $(5)$ like in the first environment, instead of restarting as $(1)$.
Hello, I was wondering whether in creating natural deduction environments it would be possible to break up the
#nat-dedblock created to insert several explanations for what I'm doing.In this case, after the$\lambda$ , I'd like to resume the numbering of the lines, so that the next line after the explanation would continue as $(5)$ like in the first environment, instead of restarting as $(1)$ .