Ecosyste.ms: Issues

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

GitHub / leanprover/lean.tmbundle issues and pull requests

#7 - refactor(*): use the grammar from the vscode extension

Pull Request - State: open - Opened by gebner over 6 years ago

#5 - Fix typo

Pull Request - State: open - Opened by pchaigno about 7 years ago - 7 comments

#4 - add a few more [*]

Pull Request - State: closed - Opened by dselsam almost 9 years ago

#3 - comments

Issue - State: closed - Opened by soonhokong almost 10 years ago
Labels: bug

#2 - add Lean to github/linguist

Issue - State: closed - Opened by soonhokong almost 10 years ago - 3 comments
Labels: enhancement

#1 - add tmbundle

Issue - State: closed - Opened by soonhokong almost 10 years ago - 1 comment
Labels: enhancement