search

tamarin-prover / manual

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

Extended preprocessing #83

Closed charlie-j closed 2 years ago

charlie-j commented 3 years ago

Cf. https://github.com/tamarin-prover/tamarin-prover/pull/440