Ecosyste.ms: Issues

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

GitHub / affeldt-aist/seplog issues and pull requests

#3 - fix precedence levels

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

#2 - compatible with Coq 8.16, 8.17, MathComp >= 1.15

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

#1 - For Coq 8.16 and mathcomp 1.15

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