mathlib3
feat(tactic/lift): add lift tactic
#1315
Merged
Overview
Commits
13
Changes
View On GitHub

feat(tactic/lift): add lift tactic #1315

mergify merged 13 commits into master from lift_to
fpvandoorn
fpvandoorn fpvandoorn requested a review 6 years ago
cipher1024
cipher1024 commented on 2019-08-12
robertylewis
robertylewis commented on 2019-08-14
robertylewis robertylewis assigned robertylewis robertylewis 6 years ago
robertylewis
robertylewis commented on 2019-08-15
fpvandoorn fpvandoorn force pushed from 3b97eeac to a73672e9 6 years ago
robertylewis
robertylewis commented on 2019-08-15
cipher1024
fpvandoorn start on lift_to tactic
d7ecb754
fpvandoorn finish lift tactic
b7721bc4
fpvandoorn add instance to lift rat to int
b7a3f717
fpvandoorn move test to test/tactic.lean
6b47b251
fpvandoorn add header and documentation
4003d009
fpvandoorn add more/better documentation
09b44185
fpvandoorn typo
bde035ae
fpvandoorn more documentation
5d85cbc3
fpvandoorn rewrite, minor
94ffbeff
fpvandoorn move import
0ea1d121
fpvandoorn remove can_lift attribute
83765995
fpvandoorn fpvandoorn force pushed from 168022b5 to 83765995 6 years ago
fpvandoorn
cipher1024
robertylewis
digama0
robertylewis
digama0
fpvandoorn remove occurrence of [can_lift]
32b625f7
fpvandoorn
robertylewis
kim-em
cipher1024
cipher1024
cipher1024 approved these changes on 2019-08-20
cipher1024 cipher1024 added ready-to-merge
mergify[bot] Merge branch 'master' into lift_to
bd529c3f
mergify mergify merged 80700498 into master 6 years ago
mergify mergify deleted the lift_to branch 6 years ago

Login to write a write a comment.

Login via GitHub

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