Author: nLab edit announcer Format: MarkdownItexCorrected a link. Before the word "derivation" linked to the page for derivations in differential algebra.
Sam Winnick
<a href="https://ncatlab.org/nlab/revision/diff/natural+deduction/27">diff</a>, <a href="https://ncatlab.org/nlab/revision/natural+deduction/27">v27</a>, <a href="https://ncatlab.org/nlab/show/natural+deduction">current</a>
Corrected a link. Before the word “derivation” linked to the page for derivations in differential algebra.