Skip to content

feat: add more tactic examples and documentation - #843

Open
jcreedcmu wants to merge 18 commits into
leanprover:mainfrom
jcreedcmu:jcreed/tactics
Open

feat: add more tactic examples and documentation#843
jcreedcmu wants to merge 18 commits into
leanprover:mainfrom
jcreedcmu:jcreed/tactics