★ wanayoo — archive 1999 https://github.com/math-comp/analysis/issuesNouvelle recherche | Portail wanayoo
Skip to content

/ 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

21 Open 41 Closed
21 Open 41 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels.
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀
Remove code PRed to MathComp duplicate
#259 opened Sep 12, 2020 by affeldt-aist
Redundancies between `realseq.v` and `sequences.v` duplicate question refactoring
#255 opened Sep 4, 2020 by affeldt-aist 0.3.3
2
Documentation header issues? documentation
#157 opened Oct 4, 2019 by amahboubi
1
Endow R^o, C^o (which are copies of R, C) with structures WIP enhancement experiment
#156 opened Oct 4, 2019 by amahboubi
1
Missing canonical declaration in topology.v?
#154 opened Oct 4, 2019 by amahboubi
Could we have a nix upgrade documentation somewhere? (@amahboubi)
#151 opened Sep 17, 2019 by CohenCyril
5
Add closed sets to topological mixin
#134 opened Mar 1, 2019 by drouhling
Quotients without ChoiceType?
#133 opened Feb 26, 2019 by spitters
Solve slowdown in derive bug enhancement
#118 opened Oct 30, 2018 by CohenCyril 0 of 1
Rework landau's documentation and naming convention documentation renaming
#103 opened Sep 14, 2018 by drouhling 2 of 6
2
Have a spec lemma for big0 enhancement refactoring
#102 opened Sep 14, 2018 by CohenCyril
Have notations for deriving and derivability documentation enhancement question refactoring
#68 opened Apr 10, 2018 by CohenCyril
1
Rstruct should export R? question
#60 opened Mar 22, 2018 by CohenCyril
Shouldn't a normed module be of dimension at least 1? experiment question
#45 opened Feb 23, 2018 by CohenCyril
Provide a shorter symbol? enhancement question renaming
#25 opened Feb 7, 2018 by CohenCyril
Replace Filter by pfilter_on experiment refactoring
#22 opened Feb 7, 2018 by CohenCyril
Have comap : A -> B -> set (set B) -> set (set A) experiment refactoring
#19 opened Jan 26, 2018 by CohenCyril
The notations near and locally are too unstable. refactoring
#13 opened Jan 18, 2018 by CohenCyril
@CohenCyril
3
Backport Enrico's inline "!!" refining for the have tactic to mathcomp? change math-comp
#5 opened Jan 11, 2018 by CohenCyril
Merge Rbar and ereal enhancement experiment refactoring
#3 opened Jan 11, 2018 by CohenCyril
@strub
4
Fix 'the_* landau notation to improve readability refactoring
#2 opened Jan 11, 2018 by CohenCyril 0.3.3
1
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.
You can’t perform that action at this time.