klntsky/g4ip-prover

Theorem prover for intuitionistic propositional logic, fork of github.com/cacay/G4ip

语言：Haskell · GitHub 星标：8 · Fork：1

在 GitHub 上查看原仓库