@hackage / hatt

A truth table generator for classical propositional logic.

1.5.0.3

Version history