TAMARIN Prover News Software Documentation About

Software

  1. Install Tamarin

    Install Tamarin on your system.

    Install Tamarin

  2. 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 VSCode, VIM, EMACS, Sublime Text 3, Atom, and Notepad++.

    Integrations