寻找一个好的 Latex 数学形式证明包

Question

在大多数教科书和理论论文中，证明都是用自然语言呈现的。虽然在日常写作中不可能用纯对象语言呈现证明，但逐行呈现证明并清楚地指明推理规则和一阶逻辑推理来源将有助于人们自己的思考以及阅读和理解。我发现了一个名为“logicproof”的包，但是当长命题或大型证明需要换行甚至分页时，它不太灵活。我想知道是否存在一个方便而强大的 latex 包来正式呈现证明。