Skip to content

Pull requests: math-comp/analysis

New pull request New
62 Open 1,396 Closed
62 Open 1,396 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

rm unproductive HB.instance
#2011 opened Jun 30, 2026 by affeldt-aist Member Loading…
2 tasks
Metric 20260629
#2010 opened Jun 30, 2026 by affeldt-aist Member Loading…
2 tasks
2
Prove some admitted lemmas in experimental_reals
#2007 opened Jun 28, 2026 by ethanlee515 Loading…
1 of 2 tasks
1
Initial topology induced by a family of functions
#2003 opened Jun 21, 2026 by mkerjean Collaborator Loading…
1 of 2 tasks
Holomorphy
#2001 opened Jun 17, 2026 by mkerjean Collaborator Loading…
2 tasks
WIP
#1997 opened Jun 12, 2026 by CohenCyril Member • Draft
2 tasks
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
2
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…
2 tasks done
1
Tensor space
#1970 opened May 13, 2026 by Tragicus Collaborator • Draft
2 tasks
3
Seminorm tvs
#1963 opened May 9, 2026 by mkerjean Collaborator • Draft
2 tasks
absolute_continuity
#1958 opened May 1, 2026 by IshiguroYoshihiro Collaborator Loading…
2 tasks done
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
tentative removal of Rint experiment 🧪 This issue/PR is very experimental
#1937 opened Apr 16, 2026 by affeldt-aist Member • Draft
2 tasks
1.17.0
5
Discrete and continuous abel transforms
#1934 opened Apr 12, 2026 by Tragicus Collaborator Loading…
1 task done
2
test subNormedZmodType experiment 🧪 This issue/PR is very experimental
#1928 opened Apr 3, 2026 by affeldt-aist Member • Draft
2 tasks
1
[WIP] fixes #1821
#1918 opened Mar 25, 2026 by affeldt-aist Member • Draft
2 tasks
within continuity row vector enhancement ✨ This issue/PR is about adding new features enhancing the library
#1882 opened Mar 5, 2026 by affeldt-aist Member Loading…
1 of 2 tasks
1.17.0
1
giry monad is symmetric monoidal (wip) enhancement ✨ This issue/PR is about adding new features enhancing the library
#1861 opened Feb 26, 2026 by affeldt-aist Member • Draft
2 tasks
1.17.0
add itv_closureE, itv_interiorE, and helper lemmas
#1848 opened Feb 16, 2026 by t6s Member • Draft
1 of 2 tasks
15
Experiment : Tvs
#1846 opened Feb 13, 2026 by mkerjean Collaborator • Draft
2 tasks
Experimenting with a generic sup interface
#1830 opened Jan 22, 2026 by CohenCyril Member • Draft
2 tasks
Heine cantor
#1809 opened Dec 23, 2025 by affeldt-aist Member • Draft
2 tasks
1
CPOs (wip) experiment 🧪 This issue/PR is very experimental
#1807 opened Dec 22, 2025 by affeldt-aist Member • Draft
2 tasks
1.18.0
the Gamma function
#1762 opened Nov 18, 2025 by IshiguroYoshihiro Collaborator Loading…
2 tasks done
ProTip! Updated in the last three days: updated:>2026-06-27.