SnowOnion/ATPPFHS

Automated Theorem Prover for Propositional logic by Forward proof search in Hilbert-style axiomatic System implemented in HaSkell. Inefficient by fate. Just wanna visualize the craziness of deriving theorems in Hilbert-style axiomatic System.

语言：Haskell · GitHub 星标：4 · Fork：0

在 GitHub 上查看原仓库