https://github.com/raulpy271/validationmethods
🧮 validation methods of propositional logic
https://github.com/raulpy271/validationmethods
algebraic-data-types contradiction formula functional-programming haskell proof propositional-calculus tautology tree
Last synced: 7 months ago
JSON representation
🧮 validation methods of propositional logic
- Host: GitHub
- URL: https://github.com/raulpy271/validationmethods
- Owner: raulpy271
- Created: 2020-08-03T16:29:28.000Z (over 5 years ago)
- Default Branch: master
- Last Pushed: 2020-08-23T16:22:12.000Z (over 5 years ago)
- Last Synced: 2023-03-10T10:26:34.323Z (about 3 years ago)
- Topics: algebraic-data-types, contradiction, formula, functional-programming, haskell, proof, propositional-calculus, tautology, tree
- Language: Haskell
- Homepage:
- Size: 163 KB
- Stars: 1
- Watchers: 2
- Forks: 0
- Open Issues: 0