The latest version of tamarin-prover-term is 0.8.5.1-0.

lib:tamarin-prover-term

Modules

Dependencies

Reverse dependencies

Direct only. Not exhaustive.