xiaoshihou514/ndpc

Proof assistant for single sorted predicate logic

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

话题：logic · proof

在 GitHub 上查看原仓库