Welcome to the Tamarin Manual

The manual is available as a PDF or as HTML for online browsing.

(For developers and others who are working with the development branch of Tamarin: see here for the PDF and HTML in sync with develop.)