mathlib3
feat(pformat): provide `trace!` and `fail!` and allow tactic values
#1222

Merged

feat(pformat): provide `trace!` and `fail!` and allow tactic values #1222

mergify merged 2 commits into master from pformat

feat(pformat): provide `trace!` and `fail!` and allow tactic values

e332a426

cipher1024 requested a review 6 years ago

digama0 added ready-to-merge

digama0 approved these changes on 2019-07-13

Merge branch 'master' into pformat

d3a4b85f

mergify merged 51f26459 into master 6 years ago

mergify deleted the pformat branch 6 years ago

Reviewers

digama0

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone