https://github.com/matheus-hrm/logic-proofs
Propositional logic deduction tool
https://github.com/matheus-hrm/logic-proofs
Last synced: 2 months ago
JSON representation
Propositional logic deduction tool
- Host: GitHub
- URL: https://github.com/matheus-hrm/logic-proofs
- Owner: matheus-hrm
- Created: 2025-02-10T18:24:10.000Z (3 months ago)
- Default Branch: main
- Last Pushed: 2025-02-12T15:45:39.000Z (3 months ago)
- Last Synced: 2025-02-12T16:38:56.962Z (3 months ago)
- Language: Haskell
- Homepage:
- Size: 7.81 KB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Logic Proof Checker
A Haskell program for checking logical proofs using natural deduction rules.
## Prerequisites
- GHC (Glasgow Haskell Compiler)
- Cabal
## Installation
1. Clone the repository
2. Run `cabal build`
## Usage
Run the program:
```bash
cabal run
```
# Project structure
```
src/
├── Rules/
│ ├── Conditionals.hs
│ ├── Conjunctions.hs
│ ├── Disjunctions.hs
│ └── Biconditionals.hs
├── Types.hs
├── ProofEngine.hs
├── UI.hs
└── Main.hs
```