hackage.haskell.org : hatt
Hatt is a command-line program which prints truth tables for expressions in classical propositional logic, and a library allowing its parser, evaluator and truth table generator to be used in other programs. It includes support for converting logical expressions into several normal forms.
Registry
- Homepage
- JSON
- codemeta.json
purl: pkg:hackage/hatt
Keywords:
bsd3
, library
, logic
, program
, Propose Tags
License: BSD-3-Clause
Latest release: over 14 years ago
First release: about 15 years ago
Dependent repositories: 1
Downloads: 12,002 total
Last synced: about 1 month ago
Loading...
Readme
Loading...