Artifacts for the ePrint paper "It’s Good to Be Humble: Tamarin Prover’s Soundness Versus One Evening with an LLM" - View it on GitHub