-
Notifications
You must be signed in to change notification settings - Fork 44
Pull requests: math-comp/analysis
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Splitting Topology part 3: Separation axioms
enhancement ✨
This issue/PR is about adding new features enhancing the library
#1338
opened Oct 4, 2024 by
zstone1
Loading…
2 tasks done
completely regular spaces and locally compact implies uniform
enhancement ✨
This issue/PR is about adding new features enhancing the library
#1331
opened Sep 30, 2024 by
zstone1
Loading…
2 tasks done
corollary to Vitali's theorem
enhancement ✨
This issue/PR is about adding new features enhancing the library
fixing discrete topologies
enhancement ✨
This issue/PR is about adding new features enhancing the library
#1323
opened Sep 20, 2024 by
zstone1
Loading…
2 tasks
change of variables by nondecreasing/nonincreasing function
enhancement ✨
This issue/PR is about adding new features enhancing the library
experiment 🧪
This issue/PR is very experimental
#1294
opened Aug 13, 2024 by
IshiguroYoshihiro
Loading…
2 tasks done
generalize lime_sup_ge0
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
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
Kernels
wontfix/merge 🚫
We wont fix this issue/merge this PR, we will close it soon
#749
opened Sep 21, 2022 by
affeldt-aist
•
Draft
2 tasks
Draft: Paths
TODO: MC2 port
This PR must be ported to mathcomp 2 now that the. Remove this label when the port is done.
Previous Next
ProTip!
Updated in the last three days: updated:>2024-10-03.