-
Notifications
You must be signed in to change notification settings - Fork 70
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#2048 In math-comp/analysis;
Hint Resolve cvg_cst is ineffective
"bug" 🐛This issue (resp. PR) describes (resp. fixes) a "bug"This issue (resp. PR) describes (resp. fixes) a "bug"Status: Open.- Status: Open.
- Status: Open.#2041 In math-comp/analysis;
- Status: Open.#2002 In math-comp/analysis;
is_diffis not documented in the headerdocumentation 📝This issue/PR is about documentation of the library / repositoryThis issue/PR is about documentation of the library / repositoryStatus: Open.- Status: Open.#1995 In math-comp/analysis;
- Status: Open.
- Status: Open.#1991 In math-comp/analysis;
TODO: rename
pseudometricrenaming/refactoring 🔧This is about a renaming or refactoring in the libraryThis is about a renaming or refactoring in the libraryStatus: Open.- Status: Open.#1989 In math-comp/analysis;
- Status: Open.#1985 In math-comp/analysis;