Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / markblokpoel/mathlib issues and pull requests
#4 - Set theory docs
Pull Request -
State: closed - Opened by markblokpoel about 1 year ago
#3 - Graph improvements new
Pull Request -
State: closed - Opened by markblokpoel about 1 year ago
#2 - Removed ScalaJS support
Pull Request -
State: closed - Opened by markblokpoel almost 2 years ago
#1 - Create LICENSE
Pull Request -
State: closed - Opened by markblokpoel almost 2 years ago