Ecosyste.ms: Issues

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

GitHub / langston-barrett/amsthm-to-anki issues and pull requests

#3 - Missing executable file

Issue - State: open - Opened by acsor almost 3 years ago - 3 comments

#2 - Notecards expressing "the following are equivalent"

Issue - State: open - Opened by langston-barrett almost 8 years ago

#1 - Quote the titles of definitions, theorems, and lemmas

Issue - State: open - Opened by langston-barrett almost 8 years ago