@hackage / g4ip-prover

Theorem prover for intuitionistic propositional logic using G4ip

Latest2.0.0.0

Dependencies

library:g4ip-prover (4 dependencies)

@hackage / base Core data structures and operations
- Version: >=4.9 && <5
- License: BSD-3-Clause
@hackage / filepath Library for manipulating FilePaths in a cross platform way.
- Version: >=1.4 && <2
- License: BSD-3-Clause
@hackage / array Mutable and immutable arrays
- Version: >=0.5 && <1.0
- License: BSD-3-Clause
@hackage / directory Platform-agnostic library for filesystem operations
- Version: >=1.0 && <2.0
- License: BSD-3-Clause

executable:g4ip-prover (4 dependencies)

test:test (2 dependencies)