-
Notifications
You must be signed in to change notification settings - Fork 75
OpenOct 1, 2026
Due by October 9, 2026
•Last updated 10% complete
List view
0 of 68 selected 0 issues of 68 selected
- Status: Open.#134 In math-comp/analysis;
- Status: Open (in progress).
- Status: Open.#1067 In math-comp/analysis;
Solve slowdown in derive
"bug" 🐛This issue (resp. PR) describes (resp. fixes) a "bug"This issue (resp. PR) describes (resp. fixes) a "bug"enhancement ✨This issue/PR is about adding new features enhancing the libraryThis issue/PR is about adding new features enhancing the libraryStatus: Open.#118 In math-comp/analysis;- Status: Open (in progress).math-comp/analysisnumber 1762#1762 In math-comp/analysis;
finitely-supported probability measure
wish 🙏Request for a specific mathematical resultRequest for a specific mathematical resultStatus: Open.#1227 In math-comp/analysis;shorten proof about monotonic functions
enhancement ✨This issue/PR is about adding new features enhancing the libraryThis issue/PR is about adding new features enhancing the libraryStatus: Open.#1156 In math-comp/analysis;Remove
bigmaxrfromRstruct.v?renaming/refactoring 🔧This is about a renaming or refactoring in the libraryThis is about a renaming or refactoring in the libraryStatus: Open.#1739 In math-comp/analysis;- Status: Draft (not ready).
- Status: Open (in progress).
- Status: Open (in progress).
- Status: Open (in progress).
conv_gt0as an instance ofPosNumenhancement ✨This issue/PR is about adding new features enhancing the libraryThis issue/PR is about adding new features enhancing the libraryStatus: Open.#1009 In math-comp/analysis;Could we have a nix upgrade documentation somewhere? (@amahboubi)
documentation 📝This issue/PR is about documentation of the library / repositoryThis issue/PR is about documentation of the library / repositoryStatus: Open.#151 In math-comp/analysis;generalization of
lime_suplemmas tolimf_supenhancement ✨This issue/PR is about adding new features enhancing the libraryThis issue/PR is about adding new features enhancing the libraryStatus: Open.#1135 In math-comp/analysis;Have a spec lemma for big0
enhancement ✨This issue/PR is about adding new features enhancing the libraryThis issue/PR is about adding new features enhancing the libraryrenaming/refactoring 🔧This is about a renaming or refactoring in the libraryThis is about a renaming or refactoring in the libraryStatus: Open.#102 In math-comp/analysis;generalize the definition of
filterenhancement ✨This issue/PR is about adding new features enhancing the libraryThis issue/PR is about adding new features enhancing the libraryStatus: Open.#1872 In math-comp/analysis;introduce a generic
closed_underdefinitionrenaming/refactoring 🔧This is about a renaming or refactoring in the libraryThis is about a renaming or refactoring in the libraryStatus: Open.#1871 In math-comp/analysis;is_deriveinstances for max functionenhancement ✨This issue/PR is about adding new features enhancing the libraryThis issue/PR is about adding new features enhancing the libraryStatus: Open.#1898 In math-comp/analysis;Fix 'the_* landau notation to improve readability
renaming/refactoring 🔧This is about a renaming or refactoring in the libraryThis is about a renaming or refactoring in the libraryStatus: Open.#2 In math-comp/analysis;generalize SimpleFun codomain from realType to sigmaRingType
enhancement ✨This issue/PR is about adding new features enhancing the libraryThis issue/PR is about adding new features enhancing the libraryStatus: Open (in progress).TODO: rename
pseudometricrenaming/refactoring 🔧This is about a renaming or refactoring in the libraryThis is about a renaming or refactoring in the libraryStatus: Open.#1990 In math-comp/analysis;notation for intervals
"bug" 🐛This issue (resp. PR) describes (resp. fixes) a "bug"This issue (resp. PR) describes (resp. fixes) a "bug"enhancement ✨This issue/PR is about adding new features enhancing the libraryThis issue/PR is about adding new features enhancing the libraryStatus: Open.#795 In math-comp/analysis;reversed parameterized integral
enhancement ✨This issue/PR is about adding new features enhancing the libraryThis issue/PR is about adding new features enhancing the libraryStatus: Open (in progress).generalize
Order_isNbhsenhancement ✨This issue/PR is about adding new features enhancing the libraryThis issue/PR is about adding new features enhancing the libraryStatus: Open.#1779 In math-comp/analysis;