YuantianDing / WangProver

An Automatic Theorem Prover for L(X) in Wang's Book (数理逻辑 第2版 汪芳庭) in Scala.
12Updated 2 years ago

Related projects

Alternatives and complementary repositories for WangProver