Ecosyste.ms: Issues

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

GitHub / AU-COBRA/typed-extraction issues and pull requests

#7 - Fix typos

Pull Request - State: closed - Opened by 4ever2 over 1 year ago
Labels: type: enhancement, part: infrastructure

#6 - Metacoq 1.1.1

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

#5 - Metacoq 1.1

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

#4 - Upgrade to Coq 8.16

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

#3 - Fix warnings

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

#2 - Backport type annotation changes

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

#1 - Documentation

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