我如何创建像CS文献中那样的方程式推理证明:
A + (B + C)
= { Associativity }
(A + B) + C
= { Commutativity }
(B + A) + C
除了 lhs2tex 以外,我似乎找不到合适的包。谢谢!
我如何创建像CS文献中那样的方程式推理证明:
A + (B + C)
= { Associativity }
(A + B) + C
= { Commutativity }
(B + A) + C
除了 lhs2tex 以外,我似乎找不到合适的包。谢谢!