spamegg1/tarski

Tarski's world: semantics of first-order logic

语言：Scala · GitHub 星标：11 · Fork：1

话题：first-order-logic · logic · scala3 · tarski · world

在 GitHub 上查看原仓库