tamarin-prover / manual

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

Pr predicates #60

Closed rkunnema closed 4 years ago

rkunnema commented 5 years ago

Hi! This documents predicates and embedded restrictions as introduced in https://github.com/tamarin-prover/tamarin-prover/pull/336.