文件名称：WangsAlgorithm：使用Wang算法在Haskell中的经典命题定理证明
文件大小：12KB
文件格式：ZIP
更新时间：2024-02-24 20:59:57
haskell theorem-prover sequent-calculus wang-algorithm HaskellHaskell
WangsAlgorithm：使用Wang算法在Haskell中的经典命题定理证明
【文件预览】：
WangsAlgorithm-master
----.travis.yml(29B)
----stack.yaml(2KB)
----tests()
--------tests.hs(5KB)
----LICENSE(1KB)
----src()
--------WangsAlgorithm()
----execs()
--------Main.hs(1KB)
----Setup.hs(46B)
----WangsAlgorithm.cabal(1KB)
----.gitignore(119B)
----README.md(6KB)