@hackage tamarin-prover-utils0.1.0.0

Utility library for the tamarin prover.

Deprecated
This package has been deprecated
Dependencies (15)
- base >=4 && <5
- binary >=0.5 && <0.6
- bytestring >=0.9 && <0.10
- containers >=0.4 && <0.5
- deepseq >=1.1 && <1.2
- mtl >=2.0 && <2.1
Dependents (4)
@hackage/tamarin-prover-theory, @hackage/acme-everything, @hackage/tamarin-prover, @hackage/tamarin-prover-term

This is an internal library of the tamarin prover for security protocol verification (hackage.haskell.org/package/tamarin-prover).