GitHub repository: tamarin-prover/homebrew-tap
Primary language: Ruby
Description: Homebrew tap for installing the Tamarin prover