tamarin-prover-theory

Term manipulation library for the tamarin prover.

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

This library provides the types to represent security protocol, and it implements the constraint solver.