search

tamarin-prover / manual

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

Subterms and Natural Numbers #94

Closed PhilipLukertWork closed 1 year ago

PhilipLukertWork commented 1 year ago

This is the corresponding pull request for https://github.com/tamarin-prover/tamarin-prover/pull/507