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

#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