一、安装Tamarin Prover1 安装Linuxbrew1/bin/bash -c "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/HEAD/install.sh)" 2 添加 Linuxbrew 到 PATH1234test -d ~/.linuxbrew && e...