mathlib3
feat(tactic/linarith): better input syntax linarith only [...]
#1056

Merged

feat(tactic/linarith): better input syntax linarith only [...] #1056

mergify merged 5 commits into master from linarith_only

feat(tactic/ring, tactic/linarith): add reducibility parameter

6c9bb99f

fix(tactic/ring): interactive parsing for argument to ring1

5ea57e1b

feat(tactic/linarith): better input syntax linarith only [...]

00e98519

robertylewis requested a review 7 years ago

fix(docs/tactics): fix linarith doc

437bfa6e

digama0 approved these changes on 2019-05-19

robertylewis added ready-to-merge

Merge branch 'master' into 'linarith_only'

325c7e72

mergify merged d4c7b7a6 into master 7 years ago

mergify deleted the linarith_only branch 7 years ago

Reviewers

digama0

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone