Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / LogicalAtomist/principia issues and pull requests
#5 - Added Volume 2 JSON Data
Pull Request -
State: closed - Opened by MudroadWhite over 2 years ago
#4 - Added JSON Object for Volume 1
Pull Request -
State: closed - Opened by MudroadWhite over 2 years ago
#3 - Eliminated Proposition Extensionality Usage in Two Propositions
Pull Request -
State: closed - Opened by MudroadWhite over 2 years ago
- 1 comment
#2 - Fix a small typo
Pull Request -
State: closed - Opened by prathyvsh almost 3 years ago
#1 - Typo in index.html
Pull Request -
State: closed - Opened by clarus over 3 years ago