Ecosyste.ms: Issues

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

GitHub / shd/logic2023 issues and pull requests

#42 - MP correction in lection-02.tex

Pull Request - State: closed - Opened by timartim over 1 year ago

#42 - MP correction in lection-02.tex

Pull Request - State: closed - Opened by timartim over 1 year ago

#41 - Add files via upload

Pull Request - State: closed - Opened by Gulyamova over 1 year ago

#41 - Add files via upload

Pull Request - State: closed - Opened by Gulyamova over 1 year ago

#40 - lection 13 + hw 1

Pull Request - State: closed - Opened by sunfora over 1 year ago

#40 - lection 13 + hw 1

Pull Request - State: closed - Opened by sunfora over 1 year ago

#39 - fix lection 9

Pull Request - State: closed - Opened by denx24x over 1 year ago

#39 - fix lection 9

Pull Request - State: closed - Opened by denx24x over 1 year ago

#38 - Fixes 2

Pull Request - State: closed - Opened by gr33n-m1ner over 1 year ago

#38 - Fixes 2

Pull Request - State: closed - Opened by gr33n-m1ner over 1 year ago

#37 - Fixes

Pull Request - State: closed - Opened by gr33n-m1ner over 1 year ago

#37 - Fixes

Pull Request - State: closed - Opened by gr33n-m1ner over 1 year ago

#36 - Fixed typo in Lecture 9

Pull Request - State: closed - Opened by sn1tr0n over 1 year ago

#36 - Fixed typo in Lecture 9

Pull Request - State: closed - Opened by sn1tr0n over 1 year ago

#35 - Fix invalid brackets

Pull Request - State: open - Opened by Vovkaez over 1 year ago - 2 comments

#35 - Fix invalid brackets

Pull Request - State: open - Opened by Vovkaez over 1 year ago - 2 comments

#34 - minor fix of lection 5

Pull Request - State: closed - Opened by Sasakich over 1 year ago

#34 - minor fix of lection 5

Pull Request - State: closed - Opened by Sasakich over 1 year ago

#33 - minor fix to lection 5

Pull Request - State: closed - Opened by Sasakich over 1 year ago

#33 - minor fix to lection 5

Pull Request - State: closed - Opened by Sasakich over 1 year ago

#32 - Fix typo

Pull Request - State: closed - Opened by vitos23 over 1 year ago

#32 - Fix typo

Pull Request - State: closed - Opened by vitos23 over 1 year ago

#30 - Minor&Major changes Грунский Алексей 39

Pull Request - State: closed - Opened by MegaVerkruzo over 1 year ago

#30 - Minor&Major changes Грунский Алексей 39

Pull Request - State: closed - Opened by MegaVerkruzo over 1 year ago

#29 - lecture 5 fix

Pull Request - State: open - Opened by maitali1 over 1 year ago

#29 - lecture 5 fix

Pull Request - State: open - Opened by maitali1 over 1 year ago

#28 - lecture 5 fix

Pull Request - State: closed - Opened by maitali1 over 1 year ago

#28 - lecture 5 fix

Pull Request - State: closed - Opened by maitali1 over 1 year ago

#26 - Исправления

Pull Request - State: closed - Opened by ChechevatovR over 1 year ago

#25 - Minor corrections and fixes

Pull Request - State: closed - Opened by Akolyx over 1 year ago

#25 - Minor corrections and fixes

Pull Request - State: closed - Opened by Akolyx over 1 year ago

#24 - fixes

Pull Request - State: closed - Opened by maitali1 almost 2 years ago - 1 comment

#24 - fixes

Pull Request - State: closed - Opened by maitali1 almost 2 years ago - 1 comment

#23 - Пость -> Пусть

Pull Request - State: closed - Opened by ChechevatovR almost 2 years ago

#23 - Пость -> Пусть

Pull Request - State: closed - Opened by ChechevatovR almost 2 years ago

#22 - Add \omega * 0 in lection-10.tex by Chulkov Alexey

Pull Request - State: closed - Opened by mralex1810 almost 2 years ago

#22 - Add \omega * 0 in lection-10.tex by Chulkov Alexey

Pull Request - State: closed - Opened by mralex1810 almost 2 years ago

#20 - lecture 8, fix prove of the growth lemma of the Ackermann function

Pull Request - State: closed - Opened by holeyko almost 2 years ago

#20 - lecture 8, fix prove of the growth lemma of the Ackermann function

Pull Request - State: closed - Opened by holeyko almost 2 years ago

#19 - minor typo

Pull Request - State: closed - Opened by GermanRandle almost 2 years ago

#19 - minor typo

Pull Request - State: closed - Opened by GermanRandle almost 2 years ago

#18 - условное отрицание

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

#18 - условное отрицание

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

#17 - 'itemize' in 7.5 to avoid confusion

Pull Request - State: closed - Opened by Akolyx almost 2 years ago

#17 - 'itemize' in 7.5 to avoid confusion

Pull Request - State: closed - Opened by Akolyx almost 2 years ago

#16 - Clarified task 6.1; misspelling fixed

Pull Request - State: closed - Opened by Akolyx almost 2 years ago

#16 - Clarified task 6.1; misspelling fixed

Pull Request - State: closed - Opened by Akolyx almost 2 years ago

#15 - wrong letter + missed parenthesis fix

Pull Request - State: closed - Opened by GermanRandle almost 2 years ago

#15 - wrong letter + missed parenthesis fix

Pull Request - State: closed - Opened by GermanRandle almost 2 years ago

#14 - Lection 05 typo fix

Pull Request - State: closed - Opened by imorda almost 2 years ago - 2 comments

#14 - Lection 05 typo fix

Pull Request - State: closed - Opened by imorda almost 2 years ago - 2 comments

#13 - small fix in lection 4 (c) Igor Nadezhdin M3233

Pull Request - State: closed - Opened by Sasakich almost 2 years ago

#13 - small fix in lection 4 (c) Igor Nadezhdin M3233

Pull Request - State: closed - Opened by Sasakich almost 2 years ago

#12 - Fix typo

Pull Request - State: closed - Opened by vitos23 almost 2 years ago

#12 - Fix typo

Pull Request - State: closed - Opened by vitos23 almost 2 years ago

#11 - Update lection-03.tex

Pull Request - State: closed - Opened by napkin3301 almost 2 years ago - 1 comment

#11 - Update lection-03.tex

Pull Request - State: closed - Opened by napkin3301 almost 2 years ago - 1 comment

#10 - Fixed no-infimum example.

Pull Request - State: closed - Opened by pure-vessel almost 2 years ago

#10 - Fixed no-infimum example.

Pull Request - State: closed - Opened by pure-vessel almost 2 years ago

#9 - Mavliutov Ervin, M32391

Pull Request - State: closed - Opened by mavlyut almost 2 years ago

#9 - Mavliutov Ervin, M32391

Pull Request - State: closed - Opened by mavlyut almost 2 years ago

#8 - Khrenov Andrew: fix-lection-02

Pull Request - State: closed - Opened by SamurajKing almost 2 years ago

#8 - Khrenov Andrew: fix-lection-02

Pull Request - State: closed - Opened by SamurajKing almost 2 years ago

#6 - deleted \pause and added '\' before square (c) Igor Nadezhdin M3233

Pull Request - State: closed - Opened by Sasakich almost 2 years ago

#5 - Исправление примера для условного отрицания

Pull Request - State: closed - Opened by grinvlad almost 2 years ago - 2 comments

#4 - typo fix

Pull Request - State: closed - Opened by peterochek almost 2 years ago

#2 - min max swapped hw2

Pull Request - State: closed - Opened by zji25 almost 2 years ago

#1 - Title updated to match current year

Pull Request - State: closed - Opened by Akolyx about 2 years ago