-
Notifications
You must be signed in to change notification settings - Fork 68
Pull requests: math-comp/analysis
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
generalize SimpleFun codomain from realType to sigmaRingType
#1988
opened Jun 6, 2026 by
hoheinzollern
Member
Loading…
1 of 2 tasks
To preserve the mathcomp CI (forward dependency) for PR#1611
#1987
opened Jun 5, 2026 by
gbdrt
Loading…
2 tasks
Trying to fix the R sigma-algebra issue
#1986
opened Jun 5, 2026 by
affeldt-aist
Member
Loading…
2 tasks done
add zerofctE and onefctE; rename scalrfctE to scalerfctE
#1984
opened Jun 3, 2026 by
t6s
Member
Loading…
1 task done
from open_basis to nbhs_basis in tvs
"bug" 🐛
This issue (resp. PR) describes (resp. fixes) a "bug"
#1983
opened Jun 3, 2026 by
mkerjean
Collaborator
Loading…
1 of 2 tasks
reduce dependencies in measurable_structure.v
#1979
opened May 27, 2026 by
affeldt-aist
Member
•
Draft
2 tasks
absolute_continuity
#1958
opened May 1, 2026 by
IshiguroYoshihiro
Collaborator
Loading…
2 tasks done
normal_prob cont./reproductive property
enhancement ✨
This issue/PR is about adding new features enhancing the library
redefine distr using esum and lebesgue
experiment 🧪
This issue/PR is very experimental
#1952
opened Apr 25, 2026 by
affeldt-aist
Member
•
Draft
2 tasks
Discrete and continuous abel transforms
#1934
opened Apr 12, 2026 by
Tragicus
Collaborator
Loading…
1 task done
test subNormedZmodType
experiment 🧪
This issue/PR is very experimental
#1928
opened Apr 3, 2026 by
affeldt-aist
Member
•
Draft
2 tasks
within continuity row vector
enhancement ✨
This issue/PR is about adding new features enhancing the library
giry monad is symmetric monoidal (wip)
enhancement ✨
This issue/PR is about adding new features enhancing the library
Experimenting with a generic sup interface
#1830
opened Jan 22, 2026 by
CohenCyril
Member
•
Draft
2 tasks
Previous Next
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.