Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[stdlib] [List] Additional statements about List.repeat #12799

Merged
merged 1 commit into from
Aug 13, 2020
Merged

[stdlib] [List] Additional statements about List.repeat #12799

merged 1 commit into from
Aug 13, 2020

Conversation

olaure01
Copy link
Contributor

@olaure01 olaure01 commented Aug 7, 2020 •
edited
Loading

Add some lemmas about List.repeat.
Kind: feature

@olaure01 olaure01 added kind: feature New user-facing feature request or implementation. part: standard library The standard library stdlib. labels Aug 7, 2020
@olaure01 olaure01 requested a review from a team as a code owner August 7, 2020 17:18
anton-trunov
anton-trunov requested changes Aug 11, 2020
View reviewed changes
theories/Lists/List.v Outdated Show resolved Hide resolved
theories/Sorting/Permutation.v Outdated Show resolved Hide resolved
theories/Sorting/Permutation.v Outdated Show resolved Hide resolved
theories/Lists/List.v Outdated Show resolved Hide resolved
theories/Lists/List.v Outdated Show resolved Hide resolved
@anton-trunov anton-trunov self-assigned this Aug 11, 2020
anton-trunov
anton-trunov reviewed Aug 11, 2020
View reviewed changes
theories/Lists/List.v Outdated Show resolved Hide resolved
@anton-trunov
Copy link
Member

I'll merge on Thursday afternoon unless someone objects. Thanks.

@olaure01 @anton-trunov
Additional statements about List.repeat
94bb6fa 
Co-authored-by: Anton Trunov <anton.a.trunov@gmail.com>
@Zimmi48 Zimmi48 added this to the 8.13+beta1 milestone Aug 13, 2020
@anton-trunov anton-trunov merged commit 422e2ec into coq:master Aug 13, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@anton-trunov anton-trunov anton-trunov approved these changes

Assignees

@anton-trunov anton-trunov

Labels
kind: feature New user-facing feature request or implementation. part: standard library The standard library stdlib.
Projects
None yet
Milestone
8.13+beta1
Development

Successfully merging this pull request may close these issues.
3 participants
@olaure01 @anton-trunov @Zimmi48