@hackage g4ip-prover dependencies

10 results

library:g4ip-prover (4 dependencies)

@haskell/filepath

Library for manipulating FilePaths in a cross platform way.

BSD-3-Clause>=1.4 && <2

@haskell/directory

Platform-agnostic library for filesystem operations

BSD-3-Clause>=1.0 && <2.0

@haskell/base

Core data structures and operations

BSD-3-Clause>=4.9 && <5

@haskell/array

Mutable and immutable arrays

BSD-3-Clause>=0.5 && <1.0

executable:g4ip-prover (4 dependencies)

@haskell/filepath

Library for manipulating FilePaths in a cross platform way.

BSD-3-Clause>=1.4 && <2

@haskell/directory

Platform-agnostic library for filesystem operations

BSD-3-Clause>=1.0 && <2.0

@haskell/base

Core data structures and operations

BSD-3-Clause>=4.9 && <5

@haskell/array

Mutable and immutable arrays

BSD-3-Clause>=0.5 && <1.0

test:test (2 dependencies)

@haskell/base

Core data structures and operations

@hackage/g4ip-prover

Theorem prover for intuitionistic propositional logic using G4ip