-
Notifications
You must be signed in to change notification settings - Fork 40
Issues: math-comp/analysis
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
rename the This is about a renaming or refactoring in the library
misc
subdir to showcase
renaming/refactoring 🔧
small generalization of Markov's lemma
enhancement ✨
This issue/PR is about adding new features enhancing the library
inf_lower_bound
and inf_lb
renaming/refactoring 🔧
setD_closed
and setDI_closed
renaming/refactoring 🔧
Countable product of measurable spaces
wish 🙏
Request for a specific mathematical result
#1214
opened Apr 18, 2024 by
t6s
improve the documentation of This issue/PR is about documentation of the library / repository
contra.v
documentation 📝
Notation of cvg can be broken
"bug" 🐛
This issue (resp. PR) describes (resp. fixes) a "bug"
#1195
opened Mar 28, 2024 by
IshiguroYoshihiro
HB failing when installing of 0.7.0 with opam
"bug" 🐛
This issue (resp. PR) describes (resp. fixes) a "bug"
build/continuous integration ⚙️
This issue/PR is about the build process or CI
#1169
opened Feb 2, 2024 by
affeldt-aist
shorten proof about monotonic functions
enhancement ✨
This issue/PR is about adding new features enhancing the library
update This issue/PR is about adding new features enhancing the library
experiment 🧪
This issue/PR is very experimental
uniform_bigO.v
enhancement ✨
#1141
opened Jan 9, 2024 by
affeldt-aist
generalization of This issue/PR is about adding new features enhancing the library
lime_sup
lemmas to limf_sup
enhancement ✨
the proof of This issue/PR is about adding new features enhancing the library
cvg_at_rightP
should be shorter
enhancement ✨
#1134
opened Jan 7, 2024 by
affeldt-aist
naming and definition of This is about a renaming or refactoring in the library
monotonous
renaming/refactoring 🔧
better advertise the This issue/PR is about documentation of the library / repository
coq-mathcomp-classical
documentation 📝
put together statements about This is about a renaming or refactoring in the library
]x-r,x+r[
renaming/refactoring 🔧
Previous Next
ProTip!
Follow long discussions with comments:>50.