feat: add more tactic examples and documentation#843

jcreedcmu wants to merge 18 commits into

leanprover:mainleanprover/reference-manual:mainfrom

jcreedcmu:jcreed/tacticsjcreedcmu/reference-manual:jcreed/tacticsCopy head branch name to clipboard