跳转到内容
NENU 论文模板使用手册

在论文中展示证明与推理过程

切换到普通模式

我们推荐使用 curryst 来描述证明过程，这个在模板中会被描述为公式，用法如下图所示：

#import "@preview/curryst:0.5.1": prooftree, rule
//


$
  #prooftree(rule($C or C^prime$, $C or x$, $overline(x) or C^prime$))
$<resolution>

显示的效果如下：

image.png

可以通过 @eqt:resolution 来引用这个公式