elizarov/LogicDerivation

A shot at unification algorithm for deriving math logic theorems from axioms

语言：Kotlin · GitHub 星标：9 · Fork：0

在 GitHub 上查看原仓库