search

tamarin-prover / manual

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

Document SAPIC heuristic #97

Closed rkunnema closed 1 year ago

rkunnema commented 1 year ago

As requested in https://github.com/tamarin-prover/manual/issues/44

rkunnema commented 1 year ago

Note to self: Also merge into develop later.