设计fitch包的人也特么绝了。只考虑了公式里是纯逻辑符号的情况，写个\neq会被识别成\ne，即negation elimination。特么的真的要写简单数学证明，fitch是最合适的方式。logicproof哪个画大方块的方式way too heavy visually。
发布于 上海
概念机器
设计fitch包的人也特么绝了。只考虑了公式里是纯逻辑符号的情况，写个\neq会被识别成\ne，即negation elimination。特么的真的要写简单数学证明，fitch是最合适的方式。logicproof哪个画大方块的方式way too heavy visually。