-
Notifications
You must be signed in to change notification settings - Fork 70
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
- Status: Open.#2006 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;
- Status: Open.#1981 In math-comp/analysis;
_subproofprefixesrenaming/refactoring 🔧This is about a renaming or refactoring in the libraryThis is about a renaming or refactoring in the libraryStatus: Open.#1980 In math-comp/analysis;- Status: Open.#1976 In math-comp/analysis;