Skip to content

Pull requests: math-comp/analysis

New pull request New
45 Open 1,109 Closed
45 Open 1,109 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
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Adapt to https://github.com/math-comp/math-comp/pull/1169
#1577 opened Apr 16, 2025 by proux01 • Draft
Remove some unnecessary use of unitfE
#1571 opened Apr 11, 2025 by pi8027
2 tasks
Cleanup
#1567 opened Apr 11, 2025 by pi8027
2 tasks
is_derive1_powR
#1566 opened Apr 11, 2025 by IshiguroYoshihiro
1 of 2 tasks
integrability of normal_pdf enhancement ✨ This issue/PR is about adding new features enhancing the library
#1564 opened Apr 10, 2025 by affeldt-aist
2 tasks done
1.10.0
generalizations of derive incr/decr lemmas enhancement ✨ This issue/PR is about adding new features enhancing the library
#1563 opened Apr 9, 2025 by hoheinzollern • Changes requested
1 of 2 tasks
1.10.0
5
variants of deriveMr and deriveMl enhancement ✨ This issue/PR is about adding new features enhancing the library
#1561 opened Apr 9, 2025 by affeldt-aist
1 task done
1.10.0
split normedtype.v renaming/refactoring 🔧 This is about a renaming or refactoring in the library
#1544 opened Mar 31, 2025 by affeldt-aist
2 tasks done
1.10.0
1
19
Exp coeff properties 20250325
#1537 opened Mar 25, 2025 by IshiguroYoshihiro • Draft
1 of 2 tasks
near_monotone_convergence
#1536 opened Mar 25, 2025 by IshiguroYoshihiro • Draft
1 of 2 tasks
Adapt to rocq#19987
#1532 opened Mar 24, 2025 by Tragicus
2 tasks
Adapt to https://github.com/math-comp/math-comp/pull/1354
#1508 opened Feb 28, 2025 by proux01 1.11.0
Lspace master enhancement ✨ This issue/PR is about adding new features enhancing the library
#1506 opened Feb 28, 2025 by affeldt-aist
1 of 2 tasks
1.11.0
1
23
WIP inverse in ereals
#1494 opened Feb 21, 2025 by CohenCyril • Draft
3 tasks
5
modifying exp.v for a different definition of poweR
#1404 opened Nov 21, 2024 by jmmarulang • Draft
2 tasks
path concat
#1403 opened Nov 21, 2024 by zstone1
2 tasks
1
Weighted distribution
#1399 opened Nov 16, 2024 by hoheinzollern
2 tasks done
expectation of product enhancement ✨ This issue/PR is about adding new features enhancing the library
#1391 opened Nov 13, 2024 by affeldt-aist • Draft
2 tasks done
1.11.0
14
[WIP] Instances for dependent function types
#1383 opened Nov 5, 2024 by Tragicus • Changes requested
2 tasks
14
Lemmas fiberwise_{finite,countable}_preimage
#1382 opened Nov 5, 2024 by t6s
1 of 2 tasks
Adding essential supremum for extended reals
#1361 opened Oct 22, 2024 by hoheinzollern
2 tasks done
4
fundamental groupoid for homotopy theory
#1350 opened Oct 12, 2024 by zstone1 • Draft
2 tasks
Bernoulli sampling lemma
#1240 opened Jun 7, 2024 by hoheinzollern • Draft
2 tasks
2
Lspace
#1230 opened May 27, 2024 by hoheinzollern
10
[WIP] Adapt to math-comp/math-comp#1213
#1216 opened Apr 23, 2024 by pi8027 • Draft
2 tasks
ProTip! Filter pull requests by the default branch with base:master.