Ecosyste.ms: Issues

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

GitHub / hott/m-types issues and pull requests

#4 - Number theorems, lemmas, and definitions as in the arXiv preprint

Pull Request - State: closed - Opened by langston-barrett almost 7 years ago

#3 - added version info to README

Pull Request - State: closed - Opened by benediktahrens over 9 years ago

#2 - Change links on gh-pages

Issue - State: open - Opened by benediktahrens almost 10 years ago

#1 - Add a license

Issue - State: closed - Opened by benediktahrens almost 10 years ago - 3 comments