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

feat: gaps in Bool lemmas #5228

Merged
merged 3 commits into from
Sep 3, 2024
Merged

feat: gaps in Bool lemmas #5228

merged 3 commits into from
Sep 3, 2024

Conversation

kim-em
Copy link
Collaborator

@kim-em kim-em commented Sep 2, 2024

No description provided.

@github-actions github-actions bot added the toolchain-available A toolchain is available for this PR, at leanprover/lean4-pr-releases:pr-release-NNNN label Sep 2, 2024
leanprover-community-mathlib4-bot added a commit to leanprover-community/batteries that referenced this pull request Sep 2, 2024
@leanprover-community-mathlib4-bot
Update lean-toolchain for testing leanprover/lean4#5228
e57bd04
leanprover-community-mathlib4-bot added a commit to leanprover-community/mathlib4 that referenced this pull request Sep 2, 2024
@leanprover-community-mathlib4-bot
Update lean-toolchain for testing leanprover/lean4#5228
1254aef
leanprover-community-mathlib4-bot added a commit to leanprover-community/batteries that referenced this pull request Sep 2, 2024
@leanprover-community-mathlib4-bot
Trigger CI for leanprover/lean4#5228
d784d07
leanprover-community-mathlib4-bot added a commit to leanprover-community/mathlib4 that referenced this pull request Sep 2, 2024
@leanprover-community-mathlib4-bot
Trigger CI for leanprover/lean4#5228
1aac91b
@github-actions github-actions bot temporarily deployed to lean-lang.org/lean4/doc September 2, 2024 06:25 Inactive
@leanprover-community-bot
Copy link
Collaborator

Mathlib CI status (docs):

@leanprover-community-bot leanprover-community-bot added the breaks-mathlib This is not necessarily a blocker for merging: but there needs to be a plan label Sep 2, 2024
@leanprover-community-bot
Copy link
Collaborator

Mathlib CI status (docs):

kim-em added a commit to leanprover-community/mathlib4 that referenced this pull request Sep 2, 2024
@kim-em
fix proof for leanprover/lean4#5228
7fe16c1
@kim-em kim-em removed the breaks-mathlib This is not necessarily a blocker for merging: but there needs to be a plan label Sep 2, 2024
@leanprover-community-bot leanprover-community-bot added the breaks-mathlib This is not necessarily a blocker for merging: but there needs to be a plan label Sep 2, 2024
@leanprover-community-bot
Copy link
Collaborator

Mathlib CI status (docs):

kim-em added a commit to leanprover-community/mathlib4 that referenced this pull request Sep 3, 2024
@kim-em
fix Archive for leanprover/lean4#5228
7112c7a
@kim-em kim-em removed the breaks-mathlib This is not necessarily a blocker for merging: but there needs to be a plan label Sep 3, 2024
@leanprover-community-bot leanprover-community-bot added the builds-mathlib CI has verified that Mathlib builds against this PR label Sep 3, 2024
@leanprover-community-bot
Copy link
Collaborator

Mathlib CI status (docs):

@kim-em kim-em added this pull request to the merge queue Sep 3, 2024
Merged via the queue into master with commit 4a2458b Sep 3, 2024
23 checks passed
@kim-em kim-em deleted the bool_lemmas branch September 3, 2024 04:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
builds-mathlib CI has verified that Mathlib builds against this PR toolchain-available A toolchain is available for this PR, at leanprover/lean4-pr-releases:pr-release-NNNN
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@kim-em @leanprover-community-bot