TAMARIN Prover News Software Documentation About

Software

  1. Install Tamarin

    Install Tamarin on your system.

    Install Tamarin

  2. Tamarin Source code

    The source code behind Tamarin, and the issue tracker in case you encounter a bug.

    Source code

  3. Development branch source code

    The bleeding-edge development branch.

    Source code

  4. IDE and editor integrations

    Integration with IDEs and editors such as Visual Studio Code (VSC), VIM, EMACS, Sublime Text 3, Atom, and Notepad++.

    Integrations

  5. Other tools and scripts

    Other software for Tamarin users, such as batch-tamarin.

    Tools and scripts