leoprover/rio

A reasoner for Input/Output logic

语言：Scala · GitHub 星标：4 · Fork：0

话题：automated-deduction · automated-theorem-proving · deontic-logics · input-output-logic · normative-reasoning · tptp

在 GitHub 上查看原仓库