Ecosyste.ms: Issues

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

GitHub / dangrayson/vv-paths-csystems-univ issues and pull requests

#14 - type annotation for def

Pull Request - State: closed - Opened by benediktahrens over 2 years ago

#13 - fix issue 18

Pull Request - State: closed - Opened by benediktahrens over 2 years ago

#12 - fix issue 7

Pull Request - State: closed - Opened by benediktahrens over 2 years ago

#11 - fix issue 13

Pull Request - State: closed - Opened by benediktahrens over 2 years ago

#10 - update two references

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

#9 - move def of prI outside proof

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

#8 - typo i -> \I

Pull Request - State: closed - Opened by benediktahrens almost 3 years ago - 1 comment

#7 - clarify canonical square

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

#6 - add type annotations for p and omega in several spots

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

#5 - move explanation to later, into numbered remark

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

#4 - Small corrections

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

#3 - small changes

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

#2 - contravariant, punctuation, missing pointer

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

#1 - margin comment functionality, small corrections

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