[documentation]: document seq tactic#879

strub wants to merge 2 commits intomainEasyCrypt/easycrypt:mainfrom

doc-seq-tacticEasyCrypt/easycrypt:doc-seq-tacticCopy head branch name to clipboard