search

tamarin-prover / manual

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

Document feature oracle-ranking #76

Closed kevinmorio closed 3 years ago

kevinmorio commented 3 years ago

See tamarin-prover/tamarin-prover#406.

rkunnema commented 3 years ago

Reviewed, looks good.