mathlib3
feat(archive): add proof of sensitivity conjecture
#1553
Merged
Overview
Commits
14
Changes
View On GitHub

feat(archive): add proof of sensitivity conjecture #1553

mergify merged 14 commits into master from sensitivity_archive
robertylewis
robertylewis feat(*): various lemmas from the sensitivity project
8a354759
robertylewis fix proof broken by nonterminal simp
2dc671c8
robertylewis Update src/linear_algebra/dual.lean
fbcee9b4
robertylewis lint dual.lean
fe0b02b1
robertylewis remove decidable_mem_of_fintype instance
5fa20d65
robertylewis dual_lc is invalid simp lemma
f5643cfd
robertylewis fix namespace
8881bf22
robertylewis add extra lemma
4dafde84
robertylewis feat(archive): add proof of sensitivity conjecture
d305c633
jcommelin jcommelin added blocked-by-other-PR
jcommelin
jcommelin commented on 2019-10-15
robertylewis suggestions from Johan
b003cc6a
bryangingechen Merge remote-tracking branch 'community/master' into sensitivity_archive
a9237aa8
bryangingechen bryangingechen removed blocked-by-other-PR
kim-em
robertylewis undo removed whitespace
d1962961
robertylewis
robertylewis robertylewis added awaiting-review
robertylewis update header
0dbcc78c
kim-em kim-em removed awaiting-review
kim-em kim-em added ready-to-merge
kim-em
kim-em approved these changes on 2019-10-22
mergify[bot] Merge branch 'master' into sensitivity_archive
df8f1022
mergify mergify merged 93b17864 into master 6 years ago
mergify mergify deleted the sensitivity_archive 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