Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / leanprover-community/mathlib issues and pull requests
#23 - fix(data/sigma): use Sort for psigma
Pull Request -
State: closed - Opened by spl almost 7 years ago
#22 - fix(data/encodable): make decidable_eq_of_encodable priority 0
Pull Request -
State: closed - Opened by kbuzzard almost 7 years ago
- 3 comments
#22 - fix(data/encodable): make decidable_eq_of_encodable priority 0
Pull Request -
State: closed - Opened by kbuzzard almost 7 years ago
- 3 comments
#22 - fix(data/encodable): make decidable_eq_of_encodable priority 0
Pull Request -
State: closed - Opened by kbuzzard almost 7 years ago
- 3 comments
#21 - Complex numbers as a field
Pull Request -
State: closed - Opened by kbuzzard almost 7 years ago
- 5 comments
#21 - Complex numbers as a field
Pull Request -
State: closed - Opened by kbuzzard almost 7 years ago
- 5 comments
#21 - Complex numbers as a field
Pull Request -
State: closed - Opened by kbuzzard almost 7 years ago
- 5 comments
#20 - Vector space
Pull Request -
State: closed - Opened by kckennylau almost 7 years ago
- 3 comments
#20 - Vector space
Pull Request -
State: closed - Opened by kckennylau almost 7 years ago
- 3 comments
#20 - Vector space
Pull Request -
State: closed - Opened by kckennylau almost 7 years ago
- 3 comments
#19 - feat(data/sigma): duplicate sigma basics for psigma
Pull Request -
State: closed - Opened by spl almost 7 years ago
#19 - feat(data/sigma): duplicate sigma basics for psigma
Pull Request -
State: closed - Opened by spl almost 7 years ago
#19 - feat(data/sigma): duplicate sigma basics for psigma
Pull Request -
State: closed - Opened by spl almost 7 years ago
#18 - feat(data/rat): redefine rat.lt so that apply works
Pull Request -
State: closed - Opened by robertylewis almost 7 years ago
- 3 comments
#18 - feat(data/rat): redefine rat.lt so that apply works
Pull Request -
State: closed - Opened by robertylewis almost 7 years ago
- 3 comments
#18 - feat(data/rat): redefine rat.lt so that apply works
Pull Request -
State: closed - Opened by robertylewis almost 7 years ago
- 3 comments
#17 - feat(data/num): add tactics for evaluating arithmetic expressions mad…
Pull Request -
State: closed - Opened by cipher1024 almost 7 years ago
#17 - feat(data/num): add tactics for evaluating arithmetic expressions mad…
Pull Request -
State: closed - Opened by cipher1024 almost 7 years ago
#17 - feat(data/num): add tactics for evaluating arithmetic expressions mad…
Pull Request -
State: closed - Opened by cipher1024 almost 7 years ago
#16 - Better support for numerical equalities/inequalities in reals
Issue -
State: closed - Opened by kbuzzard almost 7 years ago
- 5 comments
#16 - Better support for numerical equalities/inequalities in reals
Issue -
State: closed - Opened by kbuzzard almost 7 years ago
- 5 comments
#16 - Better support for numerical equalities/inequalities in reals
Issue -
State: closed - Opened by kbuzzard almost 7 years ago
- 5 comments
#15 - feat(data/set): functions over sets
Pull Request -
State: closed - Opened by minchaowu about 7 years ago
#15 - feat(data/set): functions over sets
Pull Request -
State: closed - Opened by minchaowu about 7 years ago
#15 - feat(data/set): functions over sets
Pull Request -
State: closed - Opened by minchaowu about 7 years ago
#14 - chore(data/equiv): use has_coe_to_fun
Pull Request -
State: closed - Opened by gebner about 7 years ago
- 1 comment
#14 - chore(data/equiv): use has_coe_to_fun
Pull Request -
State: closed - Opened by gebner about 7 years ago
- 1 comment
#14 - chore(data/equiv): use has_coe_to_fun
Pull Request -
State: closed - Opened by gebner about 7 years ago
- 1 comment
#13 - chore(*): use `induction generalizing`
Pull Request -
State: closed - Opened by gebner about 7 years ago
#13 - chore(*): use `induction generalizing`
Pull Request -
State: closed - Opened by gebner about 7 years ago
#13 - chore(*): use `induction generalizing`
Pull Request -
State: closed - Opened by gebner about 7 years ago
#12 - data/option: add map
Pull Request -
State: closed - Opened by semorrison about 7 years ago
- 5 comments
#12 - data/option: add map
Pull Request -
State: closed - Opened by semorrison about 7 years ago
- 5 comments
#12 - data/option: add map
Pull Request -
State: closed - Opened by semorrison about 7 years ago
- 5 comments
#11 - feat(data/finset): add basics for finsets
Pull Request -
State: closed - Opened by minchaowu about 7 years ago
- 13 comments
#11 - feat(data/finset): add basics for finsets
Pull Request -
State: closed - Opened by minchaowu about 7 years ago
- 13 comments
#11 - feat(data/finset): add basics for finsets
Pull Request -
State: closed - Opened by minchaowu about 7 years ago
- 13 comments
#10 - rat is order-dense in real; cleanup continuity proof for inv
Pull Request -
State: closed - Opened by johoelzl about 7 years ago
- 1 comment
#10 - rat is order-dense in real; cleanup continuity proof for inv
Pull Request -
State: closed - Opened by johoelzl about 7 years ago
- 1 comment
#10 - rat is order-dense in real; cleanup continuity proof for inv
Pull Request -
State: closed - Opened by johoelzl about 7 years ago
- 1 comment
#9 - Adapt to changes in equation compiler:
Pull Request -
State: closed - Opened by johoelzl about 7 years ago
#9 - Adapt to changes in equation compiler:
Pull Request -
State: closed - Opened by johoelzl about 7 years ago
#8 - chore(*): rename stdlib to mathlib
Pull Request -
State: closed - Opened by gebner about 7 years ago
- 2 comments
#8 - chore(*): rename stdlib to mathlib
Pull Request -
State: closed - Opened by gebner about 7 years ago
- 2 comments
#7 - data/option: add filter
Pull Request -
State: closed - Opened by semorrison about 7 years ago
#7 - data/option: add filter
Pull Request -
State: closed - Opened by semorrison about 7 years ago
#6 - Using stdlib as an external dependency
Issue -
State: closed - Opened by picrin about 7 years ago
- 10 comments
#6 - Using stdlib as an external dependency
Issue -
State: closed - Opened by picrin about 7 years ago
- 10 comments
#5 - Reorganize order theory; add Galois connection
Pull Request -
State: closed - Opened by johoelzl about 7 years ago
#5 - Reorganize order theory; add Galois connection
Pull Request -
State: closed - Opened by johoelzl about 7 years ago
#4 - Topology, Uniform spaces & Reals: Construct reals as complete, linear ordered field
Pull Request -
State: closed - Opened by johoelzl about 7 years ago
#4 - Topology, Uniform spaces & Reals: Construct reals as complete, linear ordered field
Pull Request -
State: closed - Opened by johoelzl about 7 years ago
#3 - refactor(*): switch from order_pair to partial_order
Pull Request -
State: closed - Opened by gebner about 7 years ago
#3 - refactor(*): switch from order_pair to partial_order
Pull Request -
State: closed - Opened by gebner about 7 years ago
#2 - [WIP] Topology, Uniform spaces & Reals
Pull Request -
State: closed - Opened by johoelzl about 7 years ago
- 6 comments
#1 - chore(.travis.yml): add Travis CI support
Pull Request -
State: closed - Opened by Kha about 7 years ago