Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / shd/tt2021 issues and pull requests

#19 - down-subst-comm

Pull Request - State: open - Opened by VladislavSG almost 3 years ago

#19 - down-subst-comm

Pull Request - State: open - Opened by VladislavSG almost 3 years ago

#18 - Proven `down-subst-comm`

Pull Request - State: open - Opened by artem almost 3 years ago

#18 - Proven `down-subst-comm`

Pull Request - State: open - Opened by artem almost 3 years ago

#17 - subst-lift2 proved

Pull Request - State: closed - Opened by T-y-c-o-o-n almost 3 years ago

#17 - subst-lift2 proved

Pull Request - State: closed - Opened by T-y-c-o-o-n almost 3 years ago

#16 - Davydov Artyom arend tasks

Pull Request - State: closed - Opened by dave11ar almost 3 years ago

#16 - Davydov Artyom arend tasks

Pull Request - State: closed - Opened by dave11ar almost 3 years ago

#15 - beta*-up-comm proved

Pull Request - State: closed - Opened by T-y-c-o-o-n almost 3 years ago

#15 - beta*-up-comm proved

Pull Request - State: closed - Opened by T-y-c-o-o-n almost 3 years ago

#14 - added author

Pull Request - State: closed - Opened by daniil-eshkin almost 3 years ago

#14 - added author

Pull Request - State: closed - Opened by daniil-eshkin almost 3 years ago

#13 - Author comment

Pull Request - State: closed - Opened by DK318 almost 3 years ago

#13 - Author comment

Pull Request - State: closed - Opened by DK318 almost 3 years ago

#12 - add proofs for beta-down-cong and beta*-down-cong

Pull Request - State: closed - Opened by Brat-vseznamus almost 3 years ago - 2 comments

#12 - add proofs for beta-down-cong and beta*-down-cong

Pull Request - State: closed - Opened by Brat-vseznamus almost 3 years ago - 2 comments

#11 - spec_of_down + down-up-simp

Pull Request - State: closed - Opened by sancho20021 about 3 years ago

#11 - spec_of_down + down-up-simp

Pull Request - State: closed - Opened by sancho20021 about 3 years ago

#10 - Proven `beta*-ap-cong-{left,right}`

Pull Request - State: closed - Opened by artem about 3 years ago

#10 - Proven `beta*-ap-cong-{left,right}`

Pull Request - State: closed - Opened by artem about 3 years ago

#9 - down-down-comm done

Pull Request - State: closed - Opened by daniil-eshkin about 3 years ago

#9 - down-down-comm done

Pull Request - State: closed - Opened by daniil-eshkin about 3 years ago

#8 - subst-suc

Pull Request - State: closed - Opened by Mizzza54 about 3 years ago

#8 - subst-suc

Pull Request - State: closed - Opened by Mizzza54 about 3 years ago

#7 - Proved `up-up-comm` and `up-down-comm'`

Pull Request - State: closed - Opened by DK318 about 3 years ago

#7 - Proved `up-up-comm` and `up-down-comm'`

Pull Request - State: closed - Opened by DK318 about 3 years ago

#6 - Prove `beta-up-comm`

Pull Request - State: closed - Opened by Jovvik about 3 years ago

#5 - subst-lift2 and beta*-up-comm proved

Pull Request - State: closed - Opened by pixcc about 3 years ago

#4 - Proved `subst-lift1`

Pull Request - State: closed - Opened by iliayar about 3 years ago

#3 - Доказаны beta*-ap-cong и beta*-L-cong

Pull Request - State: closed - Opened by UnrealEugene about 3 years ago

#2 - Fixed typo in de Bruijn

Pull Request - State: closed - Opened by DK318 over 3 years ago

#1 - Fixed typo in "de Bruijn"

Pull Request - State: closed - Opened by DK318 over 3 years ago