newca12/scala-atp

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

语言：Scala · GitHub 星标：14 · Fork：3

话题：logic · scala · scala-port

在 GitHub 上查看原仓库