mathlib3
fix(tactic/omega): fix omega bugs, add docstring (closes #1484)
#1620

Merged

fix(tactic/omega): fix omega bugs, add docstring (closes #1484) #1620

mergify merged 3 commits into leanprover-community:master from omega-fix

Fix omega bugs, add docstring

3355c01f

style(tactic/omega/main): trivial cleaning

e105380a

robertylewis approved these changes on 2019-10-28

robertylewis changed the title ~~Fix omega bugs, add docstring~~ fix(tactic/omega): fix omega bugs, add docstring (closes #1484) 6 years ago

robertylewis added ready-to-merge

Merge branch 'master' into omega-fix

e153d83d

mergify merged c2e81ddd into master 6 years ago

Reviewers

robertylewis

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone