-
Notifications
You must be signed in to change notification settings - Fork 74
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
max is a monoid operator
experiment 🧪This issue/PR is very experimentalThis issue/PR is very experimentalStatus: Open.why is
prodnormedzmodule.vinside therealspackage?!question ❓There is an unanswered question hereThere is an unanswered question hererenaming/refactoring 🔧This is about a renaming or refactoring in the libraryThis is about a renaming or refactoring in the libraryStatus: Open.TODO: Experiment with Hints in
derive.vexperiment 🧪This issue/PR is very experimentalThis issue/PR is very experimentalStatus: Open.make
cst_{within_,}continuousHints?experiment 🧪This issue/PR is very experimentalThis issue/PR is very experimentalStatus: Open.Tell explicitly that
nbhsstands for "neighborhoods"documentation 📝This issue/PR is about documentation of the library / repositoryThis issue/PR is about documentation of the library / repositoryStatus: Open.- Status: Open.#2048 In math-comp/analysis;
- Status: Open.#2041 In math-comp/analysis;
- Status: Open.
- 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;