mathlib3
archive(imo1988_q6): a formalization of Q6 on IMO1988
#1455
Merged
Overview
Commits
14
Changes
View On GitHub

archive(imo1988_q6): a formalization of Q6 on IMO1988 #1455

mergify merged 14 commits into master from imo-1988-q6
jcommelin
jcommelin archive(imo1988_q6): a formalization of Q6 on IMO1988
f0c40c88
jcommelin WIP
23976bbd
jcommelin Merge branch 'master' into imo-1988-q6
b3ffb2f7
jcommelin jcommelin requested a review 6 years ago
jcommelin Clean up, document, and use omega
e15e83ce
robertylewis
jcommelin
jcommelin Remove some non-terminal simps
2307aff1
digama0
jcommelin Merge branch 'lean-3.4.2' into imo-1988-q6
a8c42c42
jcommelin Non-terminal simp followed by ring is fine
8fc02361
kim-em
kim-em
kim-em commented on 2019-09-20
kim-em
kim-em commented on 2019-09-20
kim-em
kim-em commented on 2019-09-20
jcommelin
jcommelin Include copyright statement
b717782c
jcommelin Add comment justifying example
0ab054c6
rwbarton
rwbarton commented on 2019-09-20
kim-em kim-em added awaiting-author
jcommelin Process review comments
9ebceb90
jcommelin Oops, forgot a line
91d3b754
jcommelin jcommelin removed awaiting-author
jcommelin jcommelin added awaiting-review
jcommelin Improve comments in the proof
ea6f3077
robertylewis
jcommelin
robertylewis
robertylewis approved these changes on 2019-10-16
robertylewis robertylewis removed awaiting-review
robertylewis robertylewis added ready-to-merge
mergify[bot] Merge branch 'master' into imo-1988-q6
b7543cdb
mergify[bot] Merge branch 'master' into imo-1988-q6
0512182c
mergify mergify merged cbf81dff into master 6 years ago
mergify mergify deleted the imo-1988-q6 branch 6 years ago

Login to write a write a comment.

Login via GitHub

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