@hackage / g4ip

A theorem prover for propositional logic that uses G4ip

Latest0.1.0.0

Dependencies

library:g4ip (1 dependencies)

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

test:test-g4ip (2 dependencies)

@hackage / base Core data structures and operations
- Version: >=4.6 && <4.7
- License: BSD-3-Clause
@hackage / g4ip A theorem prover for propositional logic that uses G4ip
- Version:
- License: MIT