Ecosyste.ms: Issues

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

GitHub / uds-psl/autosubst2 issues and pull requests

#9 - Make the headers compatible with coq 8.17

Pull Request - State: open - Opened by yiyunliu almost 2 years ago

#8 - Notations conflict with stdlib.

Issue - State: open - Opened by nrioux about 2 years ago

#7 - Fix URL to OCaml implementation

Pull Request - State: closed - Opened by k4rtik over 2 years ago - 1 comment

#6 - Question about substitution notation

Issue - State: open - Opened by qcfu-bu almost 3 years ago

#5 - README.md: fix typo

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

#4 - Fix naming conflict (Ap constructor)

Pull Request - State: closed - Opened by klauso over 3 years ago - 1 comment

#3 - Please link to GitHub repository from USL website

Issue - State: closed - Opened by palmskog over 3 years ago - 1 comment

#2 - Slow compilation of fixpoints

Issue - State: open - Opened by addap almost 4 years ago

#1 - GitHub actions

Pull Request - State: closed - Opened by yforster about 4 years ago