Description
Provides term manipulation support for the Tamarin prover. Term manipulation is central to representing protocol messages, equations, facts, and symbolic reasoning structures.
It is useful for formal verification tooling around security protocols and symbolic protocol analysis. It is a specialized developer library and not a user-facing modeling environment by itself.