Description
Provides utility support for the Tamarin prover. Utility libraries collect shared helpers used by the prover and related formal-verification components.
It is useful for developers maintaining Tamarin or packages built around its security-protocol analysis stack. Most users will encounter it only as an internal dependency of the prover ecosystem.