-
Notifications
You must be signed in to change notification settings - Fork 15
Issues: leanprover-community/mathport
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
"∀ x < n" binders
missing from lean 4
Features of lean 3 that were removed or have not yet been implemented in lean 4
#13
opened Jul 29, 2021 by
digama0
fancy open/export options
missing from lean 4
Features of lean 3 that were removed or have not yet been implemented in lean 4
won't support in lean4
Features that will not be added to core Lean4
#4
opened Jul 16, 2021 by
digama0
reserve notation / precedence command
missing from lean 4
Features of lean 3 that were removed or have not yet been implemented in lean 4
won't support in lean4
Features that will not be added to core Lean4
#3
opened Jul 16, 2021 by
digama0
include, omit
missing from lean 4
Features of lean 3 that were removed or have not yet been implemented in lean 4
won't support in lean4
Features that will not be added to core Lean4
#1
opened Jul 16, 2021 by
digama0
Previous Next
ProTip!
Find all open issues with in progress development work with linked:pr.