Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / liyishuai/coq-json issues and pull requests
#9 - Fix Coq CI
Pull Request -
State: closed - Opened by proux01 about 1 month ago
- 3 comments
#8 - Adapt to https://github.com/coq/coq/pull/19530
Pull Request -
State: closed - Opened by proux01 2 months ago
- 1 comment
#7 - `coq-ceres` is Not a Dependency in `coq-json.opam`
Issue -
State: closed - Opened by zachary-kent about 1 year ago
- 2 comments
#6 - add usage examples for parsing
Pull Request -
State: closed - Opened by alpaylan about 2 years ago
#5 - Usage Examples
Issue -
State: closed - Opened by alpaylan about 2 years ago
- 3 comments
#4 - Deprecate notations rather than definitions
Pull Request -
State: closed - Opened by liyishuai over 2 years ago
#3 - Deprecated attributes do not work for definition and lemma
Issue -
State: closed - Opened by Alizter over 2 years ago
- 3 comments
#2 - README: not released yet
Pull Request -
State: closed - Opened by liyishuai about 3 years ago
#1 - coq-json is in extra-dev
Issue -
State: closed - Opened by jjhugues about 3 years ago