search

tamarin-prover / manual

Tamarin prover manual: source files
https://tamarin-prover.github.io/manual
24 stars 39 forks source link

fix link to syntax description section in 004_cryptographic-messages.md #116

Closed jnzd closed 1 year ago

jdreier commented 1 year ago

Thanks for spotting and fixing!