Extending limitations section
cascremers opened this issue · comments
Limitations could also point to specific primitives that are currently hard to handle (e.g. xor).
tamarin-prover / manual
Tamarin prover manual: source files
Tamarin prover manual: source files
cascremers opened this issue · comments
Limitations could also point to specific primitives that are currently hard to handle (e.g. xor).