M
📝 描述
A generic sequent prover for propositional finitely-valued logics.
⭐ 用户评价
暂无评价