\"Tamarin-prover的入门级简介\

学习tamarin的必读文档之一，建议在阅读tamarin用户手册之前先阅读该文档。该文档为tamarin-prover的入门级介绍文档，可以快速了解tamarin的用途、使用方式与效果。