@hackage tamarin-prover-utils0.8.4.0

Utility library for the tamarin prover.

Deprecated
This package has been deprecated
Dependencies (16)
- base >=4 && <5
- binary >=0.5 && <0.6
- bytestring >=0.9 && <0.10
- containers >=0.4.2 && <0.5
- deepseq >=1.3 && <1.4
- 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).