GitHub repository: tamarin-prover/batch-tamarin
Primary language: Python
Created: 2025-06-26T14:05:55Z
Description: A Python package that enables batch execution of tamarin-prover tasks with JSON configuration files and comprehensive reporting.