aztek/atp

Haskell interface to automated theorem provers

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

话题：atp · automated-theorem-provers · first-order-logic · formal-methods · haskell · logic · prover · theorem-proving

在 GitHub 上查看原仓库