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

Merged

Commits

fix(tactic/norm_num): bugfix bad proof application

digama0 committed 7 years ago
add test case that used to fail

Scott Morrison committed 7 years ago
Merge branch 'master' into norm_num_bug

kim-em committed 7 years ago
add try_for

Scott Morrison committed 7 years ago
Merge branch 'norm_num_bug' of github.com:leanprover-community/mathlib into norm_num_bug

Scott Morrison committed 7 years ago
fix typecheck test

digama0 committed 7 years ago
increase test timeout

digama0 committed 7 years ago
Merge branch 'master' into norm_num_bug

mergify[bot] committed 7 years ago