soufianely / a-gentle-introduction-to-tamarin Goto Github PK
View Code? Open in Web Editor NEWThis project forked from cristiandaniele/a-gentle-introduction-to-tamarin
This is a beginner's Tamarin Guide which is not meant to be exhaustive. For a comprehensive explanation of Tamarin, please refer to the official manual on https://tamarin-prover.github.io.