search

tamarin-prover / manual

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

Revert "semi-persistence" #93

Closed rkunnema closed 1 year ago

rkunnema commented 1 year ago

Reverts tamarin-prover/manual#90

(see https://github.com/tamarin-prover/tamarin-prover/pull/510)