PR #1860 docs(tactics): tautology

docs(tactics): tautology #1860

mergify merged 5 commits into leanprover-community:master from FredericLeRoux:master

added a short description of the tautology tactic

cf80fb0c

added a short description of the tautology tactic

68f1a68a

jcommelin changed the title ~~Tautology~~ docs(tactics): tautology 6 years ago

jcommelin commented on 2020-01-07

Update docs/tactics.md

cd8dce40

Merge branch 'master' into master

ba529632

sgouezel approved these changes on 2020-01-08

sgouezel added ready-to-merge

Merge branch 'master' into master

3645bf8f

mergify merged 9afc6f2f into master 6 years ago

Reviewers

sgouezel

jcommelin

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone