-
Notifications
You must be signed in to change notification settings - Fork 573
Issues: leanprover/lean4
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.
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
feat: explicit This is not necessarily a blocker for merging: but there needs to be a plan
changelog-language
Language features, tactics, and metaprograms
changes-stage0
Contains stage0 changes, merge manually using rebase
toolchain-available
A toolchain is available for this PR, at leanprover/lean4-pr-releases:pr-release-NNNN
rfl attribute
breaks-mathlib
Git conflict experiment
builds-mathlib
CI has verified that Mathlib builds against this PR
changes-stage0
Contains stage0 changes, merge manually using rebase
toolchain-available
A toolchain is available for this PR, at leanprover/lean4-pr-releases:pr-release-NNNN
feat: primitive profiling for slow isDefEq problems
breaks-mathlib
This is not necessarily a blocker for merging: but there needs to be a plan
changes-stage0
Contains stage0 changes, merge manually using rebase
toolchain-available
A toolchain is available for this PR, at leanprover/lean4-pr-releases:pr-release-NNNN
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.