- Automated Theorem Prover
- for Propositional Logic
- by Forward Proof Search
- in Hilbert System
- implemented in Haskell.
I know Hilbert System is inefficient for ATP. Just for fun.
-
Notifications
You must be signed in to change notification settings - Fork 0
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.
SnowOnion/ATPPFHS
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
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.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published