-
Notifications
You must be signed in to change notification settings - Fork 41
Pull requests: math-comp/analysis
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
at_left
version of an at_right
lemma
enhancement ✨
generalize lime_sup_ge0
renaming/refactoring 🔧
This is about a renaming or refactoring in the library
new factory for algebra of sets
enhancement ✨
This issue/PR is about adding new features enhancing the library
fixes #330 (floor and ceil subsumed by MathComp)
renaming/refactoring 🔧
This is about a renaming or refactoring in the library
rename setD_closed to setSD_closed
renaming/refactoring 🔧
This is about a renaming or refactoring in the library
draft: separating pointed out of topological
renaming/refactoring 🔧
This is about a renaming or refactoring in the library
add a version of Zorn relativized over a given point
enhancement ✨
This issue/PR is about adding new features enhancing the library
TODO: MC2 port
This PR must be ported to mathcomp 2 now that the. Remove this label when the port is done.
#1117
opened Dec 12, 2023 by
t6s
Loading…
1 task done
Evt
TODO: MC2 port
This PR must be ported to mathcomp 2 now that the. Remove this label when the port is done.
Counterexample for
real_nbhs_nbhs
in a numFieldType
(C)
#1040
opened Oct 3, 2023 by
CohenCyril
•
Draft
3 tasks
convType instances
experiment 🧪
This issue/PR is very experimental
help 🆘
This author/reviewer of this issue/PR needs external help
TODO: MC2 port
This PR must be ported to mathcomp 2 now that the. Remove this label when the port is done.
C1 and lipschitz
experiment 🧪
This issue/PR is very experimental
TODO: MC2 port
This PR must be ported to mathcomp 2 now that the. Remove this label when the port is done.
#917
opened Apr 28, 2023 by
IshiguroYoshihiro
•
Draft
2 of 3 tasks
Application of s-finite kernels to program semantics
experiment 🧪
This issue/PR is very experimental
#912
opened Apr 27, 2023 by
affeldt-aist
•
Draft
3 tasks
tentative definition of Lp-spaces
wontfix/merge 🚫
We wont fix this issue/merge this PR, we will close it soon
#899
opened Apr 14, 2023 by
affeldt-aist
•
Draft
3 tasks
qbs?
experiment 🧪
This issue/PR is very experimental
#774
opened Oct 14, 2022 by
affeldt-aist
•
Draft
2 tasks
tentative proof of exp
question ❓
There is an unanswered question here
#770
opened Oct 12, 2022 by
affeldt-aist
•
Draft
2 tasks
Probabilistic convergence
TODO: MC2 port
This PR must be ported to mathcomp 2 now that the. Remove this label when the port is done.
#769
opened Oct 11, 2022 by
hoheinzollern
•
Draft
3 tasks
Previous Next
ProTip!
Find all pull requests that aren't related to any open issues with -linked:issue.