tamarin-prover
Own what you buy: durable, portable proof of purchase you hold. The seller signs a receipt, you keep the file, anyone verifies it offline after the store is gone.
A Python package that enables batch execution of tamarin-prover tasks with JSON configuration files and comprehensive reporting.
