GitHub repository: sitedata/tamarin-prover
Description: Main source code repository of the Tamarin prover for security protocol verification.