mathlib3
fix(tactic/norm_num): bugfix bad proof application
#1387
Merged
Overview
Commits
8
Changes
View On GitHub

fix(tactic/norm_num): bugfix bad proof application #1387

mergify merged 8 commits into master from norm_num_bug
digama0
digama0 fix(tactic/norm_num): bugfix bad proof application
b93ee6b2
digama0 digama0 requested a review 6 years ago
cipher1024
add test case that used to fail
e264e9c6
kim-em
kim-em Merge branch 'master' into norm_num_bug
5a6fe806
cipher1024
add try_for
193147e6
Merge branch 'norm_num_bug' of github.com:leanprover-community/mathli…
0c6651fc
digama0
cipher1024
digama0
cipher1024
digama0
digama0 fix typecheck test
cc59e1de
khoek
digama0 increase test timeout
5a7f0cd2
cipher1024
fpvandoorn
fpvandoorn approved these changes on 2019-09-04
fpvandoorn fpvandoorn added ready-to-merge
mergify[bot] Merge branch 'master' into norm_num_bug
4ae38195
mergify mergify merged 79a1f841 into master 6 years ago
mergify mergify deleted the norm_num_bug branch 6 years ago
bryangingechen bryangingechen added t-meta

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
ready-to-merge t-meta
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum