drdo/logic-translation

Translation from FOL to LTL+Past and LTL, via separation of LTL+Past

语言：Haskell · GitHub 星标：10 · Fork：0

话题：first-order-logic · ltl · separation · temporal-logic · translation

在 GitHub 上查看原仓库