search

tamarin-prover / manual

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

Fix broken link #77

Closed felixlinker closed 3 years ago

jdreier commented 3 years ago

Thanks, merging!