lplfitch
惠誉评级覆盖理由
我正在尝试使用 lplfitch 包进行逻辑证明推导，但行对于该包来说太长了，所以我如何让它适应这一点。（我已经尝试使用换行符 (\)，但它只会让对齐覆盖之前的对齐） \documentclass{article} \usepackage{lplfitch} \begin{document} \fitchprf{}{ \subproof{ \pline[1.]{\forall m }[Gegeben]\\ \pline[2.]{\forall x }[Gegeben] }{ \pline[3.]{\forall...
