newca12/haskell-atp

Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to Haskell

语言：Haskell · GitHub 星标：9 · Fork：3

话题：haskell-port · logic

在 GitHub 上查看原仓库