mathlib3
feat(*/multilinear): more material
#2197
Merged
Overview
Commits
12
Changes
View On GitHub

feat(*/multilinear): more material #2197

mergify merged 12 commits into master from sgouezel_multilinear
sgouezel
sgouezel feat(*/multilinear): more material
a68dff30
sgouezel improvements
c7530f73
jcommelin
jcommelin commented on 2020-03-20
sgouezel docstring
29ac7aae
cipher1024 cipher1024 assigned jcommelin jcommelin 6 years ago
jcommelin jcommelin assigned urkud urkud 6 years ago
jcommelin jcommelin assigned PatrickMassot PatrickMassot 6 years ago
jcommelin jcommelin unassigned jcommelin jcommelin 6 years ago
sgouezel Merge remote-tracking branch 'upstream/master' into sgouezel_multilinear
e7b225e3
sgouezel elaboration strategy
fb60769a
PatrickMassot
PatrickMassot commented on 2020-03-22
sgouezel remove begin ... end
3d627a6c
PatrickMassot
sgouezel
robertylewis robertylewis added awaiting-review
PatrickMassot
sgouezel
PatrickMassot
sgouezel Merge remote-tracking branch 'upstream/master' into sgouezel_multilinear
8170d1da
PatrickMassot
PatrickMassot approved these changes on 2020-04-04
PatrickMassot PatrickMassot removed awaiting-review
PatrickMassot PatrickMassot added ready-to-merge
mergify[bot] Merge branch 'master' into sgouezel_multilinear
13729e53
sgouezel fix build
984f6471
sgouezel Merge branch 'sgouezel_multilinear' of https://github.com/leanprover-…
e8c5ef78
sgouezel linter
36fe2cc5
mergify[bot] Merge branch 'master' into sgouezel_multilinear
062cdb9b
mergify mergify merged dea8bd4b into master 5 years ago
mergify mergify deleted the sgouezel_multilinear branch 5 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