Ecosyste.ms: Issues

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

GitHub / giltho/code-gillian issues and pull requests

#3 - Rework GIL highlighting

Pull Request - State: open - Opened by N1ark 10 months ago

#2 - enable line commenting in wisl and fix wisl lemmas grammar

Pull Request - State: closed - Opened by Tonysiu98 over 3 years ago

#1 - Update GIL and JSIL syntax to match the most up to date one

Issue - State: open - Opened by giltho almost 5 years ago