search

tamarin-prover / manual

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

Syntax description: error fix #121

Closed LenTwor closed 8 months ago

LenTwor commented 9 months ago

I'm currently writing on a spthy parser for my Bachelor's thesis and found some minor mistakes and some things that confused me in the syntax description of Tamarin that I fixed.

jdreier commented 8 months ago

Thanks!