Closed felixlinker closed 1 year ago
As requested in https://github.com/tamarin-prover/tamarin-prover/pull/489, this pull request improves the explanation of induction by providing intuition on when one cannot apply induction.
I could not try if the snippets work as intended as I failed trying to install pandoc-citeproc. I would appreciate if someone could test this before merging!
Looks good, accepting!
jdreier
commented
1 year ago
As requested in https://github.com/tamarin-prover/tamarin-prover/pull/489, this pull request improves the explanation of induction by providing intuition on when one cannot apply induction.
I could not try if the snippets work as intended as I failed trying to install pandoc-citeproc. I would appreciate if someone could test this before merging!