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

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

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

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

显示的效果如下：

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