@hackage / htaut

Tautology Proving Logic in Haskell

Latest0.1.1.0

Dependencies

library:htaut (1 dependencies)

@hackage / base Core data structures and operations
- Version: >=4.7 && <5
- License: BSD-3-Clause