-
Notifications
You must be signed in to change notification settings - Fork 74
OpenSep 1, 2026
Overdue by 2 day(s)
•Due by August 31, 2026
•Last updated 84% complete
List view
0 of 6 selected 0 issues of 6 selected
consider making the information
r > 0explicit inopen_subball_rat?question ❓There is an unanswered question hereThere is an unanswered question hereStatus: Open.#1920 In math-comp/analysis;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.#2050 In math-comp/analysis;Rename
open_nbhstomem_openrenaming/refactoring 🔧This is about a renaming or refactoring in the libraryThis is about a renaming or refactoring in the libraryStatus: Open.#1969 In math-comp/analysis;- Status: Open.#1995 In math-comp/analysis;
TODO: Experiment with Hints in
derive.vexperiment 🧪This issue/PR is very experimentalThis issue/PR is very experimentalStatus: Open.#2069 In math-comp/analysis;open_nbhs -> mem_open
renaming/refactoring 🔧This is about a renaming or refactoring in the libraryThis is about a renaming or refactoring in the libraryStatus: Open (in progress).