Ecosyste.ms: Issues

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

GitHub / leodemoura/leodemoura.github.com issues and pull requests

#1 - Add a page for Lean, "The Lean Proof Assistant and Programming Language Resource Guide"

Pull Request - State: open - Opened by soonhokong 11 months ago